Rm warnings about missing syntax highlighters

goblint · Jan 5, 2023 · 214a25b · 214a25b
1 parent 3c6b9a5
commit 214a25b
Show file tree

Hide file tree

Showing 9 changed files with 9 additions and 9 deletions.
diff --git a/esop23_table2_set_goblint.rb b/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
 

diff --git a/esop23_table2_set_our.rb b/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
 

diff --git a/esop23_table2_set_ratcop.rb b/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
 

diff --git a/esop23_table2_set_watts.rb b/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
 

diff --git a/update_bench_traces_rel_assert.rb b/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
 

diff --git a/update_bench_traces_rel_ratcop.rb b/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
 

diff --git a/update_bench_traces_rel_toy.rb b/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
 

diff --git a/update_bench_traces_rel_watts.rb b/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
 

diff --git a/update_bench_traces_rel_yaml.rb b/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