fix space

boogie-org · Nov 7, 2024 · e453d8d · e453d8d
1 parent 86dd654
commit e453d8d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Source/Core/Inline.cs b/Source/Core/Inline.cs
@@ -18,8 +18,8 @@ public class Inliner : Duplicator
 
     protected class UnrollDepthTracker
     {
-      protected Dictionary <string, int> procUnrollDepth = new();
-      protected Dictionary <string, CallCmd> procUnrollSrc = new();
+      protected Dictionary<string, int> procUnrollDepth = new();
+      protected Dictionary<string, CallCmd> procUnrollSrc = new();
 
       private string getName (Implementation impl) {
         string procName = impl.Name;