[coq] disable pretty colors

Signed-off-by: Ricky Elrod <ricky@elrod.me>
relrod · Mar 22, 2017 · 4bc4090 · 4bc4090
1 parent 6cccfb0
commit 4bc4090
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/eval/languages.rb b/eval/languages.rb
@@ -114,7 +114,7 @@ class Language
       :timeout              => 10,
     },
     'coq' => {
-      :evaluate_with        => ['coqc', '-color', 'yes'],
+      :evaluate_with        => ['coqc', '-color', 'no'],
       :extension            => 'v',
       :script_filename      => 'rublets.v',
       :output_limit         => 4,