Fix indentation of line.

goblint · Nov 13, 2023 · bc126fa · bc126fa
1 parent 21d405d
commit bc126fa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/update_suite.rb b/scripts/update_suite.rb
@@ -171,7 +171,7 @@ def collect_warnings
                     when /^  on line \d+ $/          then next # dead line warnings shouldn't count (used for unreachability with NOWARN)
                     when /^  on lines \d+..\d+ $/    then next # dead line warnings shouldn't count (used for unreachability with NOWARN)
                     else "other"
-                end
+                  end
       oldwarn = warnings[i]
       if oldwarn.nil? then
         warnings[i] = thiswarn