tweaks

boogie-org · Nov 8, 2024 · bc881cf · bc881cf
1 parent a525278
commit bc881cf
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/Source/Core/Inline.cs b/Source/Core/Inline.cs
@@ -29,8 +29,7 @@ private string getName (Implementation impl) {
 
       public int getDepth(Implementation impl) {
         var procName = getName(impl);
-        var c = -1;
-        if (procUnrollDepth.TryGetValue(procName, out c)) {
+        if (procUnrollDepth.TryGetValue(procName, out var c)) {
           return c;
         }
         return -1;
@@ -305,12 +304,12 @@ protected int TryDefineCount(CallCmd callCmd, Implementation impl)
         return depth;
       }
 
-      int countCall (CallCmd cmd) {
+      int callInlineDepth (CallCmd cmd) {
         return QKeyValue.FindIntAttribute(cmd.Attributes, "inline", -1);
       }
 
       // first check the inline depth on the call command.
-      depth = countCall(callCmd);
+      depth = callInlineDepth(callCmd);
       if (depth < 0) {
         // if call cmd doesn't define the depth, then check the procedure.
         impl.CheckIntAttribute("inline", ref depth);