rem print

boogie-org · Nov 7, 2024 · a525278 · a525278
1 parent e453d8d
commit a525278
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/Source/Core/Inline.cs b/Source/Core/Inline.cs
@@ -222,7 +222,6 @@ protected void ProcessImplementation(Program program, Implementation impl)
 
       // we need to resolve the new code
       ResolveImpl(impl);
-      Console.WriteLine("printing here for " + impl.Name + " num blocks after inlining = " + impl.Blocks.Count());
       if (options.PrintInlined)
       {
         EmitImpl(impl);
@@ -318,7 +317,6 @@ int countCall (CallCmd cmd) {
         impl.Proc.CheckIntAttribute("inline", ref depth);
       }
       if (depth >= 0) {
-        Console.WriteLine("assinging " + impl.Proc.Name + " depth = " + depth);
         depthTracker.setDepth (callCmd, impl, depth);
       }
       return depth;