From 214a25b87f0f9a13519e85cd828c14720f8ddd99 Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Thu, 5 Jan 2023 13:09:31 +0100
Subject: [PATCH] Rm warnings about missing syntax highlighters

---
 esop23_table2_set_goblint.rb      | 2 +-
 esop23_table2_set_our.rb          | 2 +-
 esop23_table2_set_ratcop.rb       | 2 +-
 esop23_table2_set_watts.rb        | 2 +-
 update_bench_traces_rel_assert.rb | 2 +-
 update_bench_traces_rel_ratcop.rb | 2 +-
 update_bench_traces_rel_toy.rb    | 2 +-
 update_bench_traces_rel_watts.rb  | 2 +-
 update_bench_traces_rel_yaml.rb   | 2 +-
 9 files changed, 9 insertions(+), 9 deletions(-)

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