Update atg

boogie-org · Oct 7, 2024 · 78ebe34 · 78ebe34
1 parent eddcbba
commit 78ebe34
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Source/Core/BoogiePL.atg b/Source/Core/BoogiePL.atg
@@ -529,11 +529,11 @@ Function<.out List<Declaration>/*!*/ ds.>
     }
     if (definition != null) {
       // generate either an axiom or a function body
-      if (QKeyValue.FindBoolAttribute(kv, "inline")) {
-        if (QKeyValue.FindBoolAttribute(kv, "define"))
+      if (kv.FindBoolAttribute("inline")) {
+        if (kv.FindBoolAttribute("define"))
           SemErr("function cannot have both :inline and :define attributes");
         func.Body = definition;
-      } else if (QKeyValue.FindBoolAttribute(kv, "define")) {
+      } else if (kv.FindBoolAttribute("define")) {
         if (func.TypeParameters.Count > 0)
           SemErr("function with :define attribute has to be monomorphic");
         func.DefinitionBody = func.CreateFunctionDefinition(definition);