Minor change in log output

atomb · Aug 8, 2024 · 0d545d7 · 0d545d7
1 parent 84e98b0
commit 0d545d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Sources/SymDiff/source/BoogieUtil.cs b/Sources/SymDiff/source/BoogieUtil.cs
@@ -371,7 +371,7 @@ public static bool InjectUninterpreted(Procedure left,
       if (!hasImplementation && left.Modifies.Count == 0)
       {
         Log.Out(Log.Urgent,
-          $"Compared procs {left}, {right} do not have bodies and any modifies clauses.");
+          $"Compared procedures {left}, {right} do not have bodies and do not have any modifies clauses.");
       }
 
       int i, j;