diff --git a/esop23_table2_set_goblint.rb b/esop23_table2_set_goblint.rb
index 96a285348..0c931378e 100755
--- 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
index e83a4d6c0..aecee82c0 100755
--- 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
index 90998d176..a3f2183ad 100755
--- 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
index 3edf3bd26..e460256f4 100755
--- 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
index 6a8bd46e8..42754c55a 100755
--- 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
index 6101abb08..3073cffd2 100755
--- 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
index 467e8786e..e861ecdff 100755
--- 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
index bff41f0fa..46858301f 100755
--- 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
index 64db604d3..dfa0cea20 100755
--- 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