Rm warnings about missing syntax highlighters

Author: michael-schwarz

esop23_table2_set_goblint.rb

@@ -25,7 +25,7 @@
   end
 end
 if highlighter.nil? then
-  puts "Warning: No syntax highlighter installed (code2html, source-highlight, pygmentize)."
+  # puts "Warning: No syntax highlighter installed (code2html, source-highlight, pygmentize)."
   highlighter = lambda {|f,o| "cp #{f} #{o}"}
 end
 

esop23_table2_set_our.rb

@@ -26,7 +26,7 @@
   end
 end
 if highlighter.nil? then
-  puts "Warning: No syntax highlighter installed (code2html, source-highlight, pygmentize)."
+  # puts "Warning: No syntax highlighter installed (code2html, source-highlight, pygmentize)."
   highlighter = lambda {|f,o| "cp #{f} #{o}"}
 end
 

esop23_table2_set_ratcop.rb

@@ -25,7 +25,7 @@
   end
 end
 if highlighter.nil? then
-  puts "Warning: No syntax highlighter installed (code2html, source-highlight, pygmentize)."
+  # puts "Warning: No syntax highlighter installed (code2html, source-highlight, pygmentize)."
   highlighter = lambda {|f,o| "cp #{f} #{o}"}
 end
 

esop23_table2_set_watts.rb

@@ -25,7 +25,7 @@
   end
 end
 if highlighter.nil? then
-  puts "Warning: No syntax highlighter installed (code2html, source-highlight, pygmentize)."
+  # puts "Warning: No syntax highlighter installed (code2html, source-highlight, pygmentize)."
   highlighter = lambda {|f,o| "cp #{f} #{o}"}
 end
 

update_bench_traces_rel_assert.rb

@@ -25,7 +25,7 @@
   end
 end
 if highlighter.nil? then
-  puts "Warning: No syntax highlighter installed (code2html, source-highlight, pygmentize)."
+  # puts "Warning: No syntax highlighter installed (code2html, source-highlight, pygmentize)."
   highlighter = lambda {|f,o| "cp #{f} #{o}"}
 end
 

update_bench_traces_rel_ratcop.rb

@@ -25,7 +25,7 @@
   end
 end
 if highlighter.nil? then
-  puts "Warning: No syntax highlighter installed (code2html, source-highlight, pygmentize)."
+  # puts "Warning: No syntax highlighter installed (code2html, source-highlight, pygmentize)."
   highlighter = lambda {|f,o| "cp #{f} #{o}"}
 end
 

update_bench_traces_rel_toy.rb

@@ -26,7 +26,7 @@
   end
 end
 if highlighter.nil? then
-  puts "Warning: No syntax highlighter installed (code2html, source-highlight, pygmentize)."
+  # puts "Warning: No syntax highlighter installed (code2html, source-highlight, pygmentize)."
   highlighter = lambda {|f,o| "cp #{f} #{o}"}
 end
 

update_bench_traces_rel_watts.rb

@@ -25,7 +25,7 @@
   end
 end
 if highlighter.nil? then
-  puts "Warning: No syntax highlighter installed (code2html, source-highlight, pygmentize)."
+  # puts "Warning: No syntax highlighter installed (code2html, source-highlight, pygmentize)."
   highlighter = lambda {|f,o| "cp #{f} #{o}"}
 end
 

update_bench_traces_rel_yaml.rb

@@ -25,7 +25,7 @@
   end
 end
 if highlighter.nil? then
-  puts "Warning: No syntax highlighter installed (code2html, source-highlight, pygmentize)."
+  # puts "Warning: No syntax highlighter installed (code2html, source-highlight, pygmentize)."
   highlighter = lambda {|f,o| "cp #{f} #{o}"}
 end