remove extraneous -r from gap_cmd

sagemath · May 28, 2019 · 8958e4d · 8958e4d
1 parent 9b91a09
commit 8958e4d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/sage/interfaces/gap.py b/src/sage/interfaces/gap.py
@@ -202,7 +202,7 @@
 
 first_try = True
 
-gap_cmd = "gap -r"
+gap_cmd = "gap"
 if platform.processor() == 'ia64' and os.path.exists('/usr/bin/prctl'):
     # suppress unaligned access to 0x..., ip=0x... warnings
     gap_cmd = 'prctl --unaligned=silent ' + gap_cmd