Fix the arguments

GaloisInc · Aug 14, 2023 · d204452 · d204452
1 parent 72dbd3e
commit d204452
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/heapster-saw/src/Verifier/SAW/Heapster/RustTypes.hs b/heapster-saw/src/Verifier/SAW/Heapster/RustTypes.hs
@@ -1549,8 +1549,8 @@ parseFunPermFromRust :: (Fail.MonadFail m, 1 <= w, KnownNat w) =>
                         PermEnv -> prx w -> CruCtx args -> TypeRepr ret ->
                         String -> m (SomeFunPerm args ret)
 parseFunPermFromRust env w args ret str =
-  do getSome3FunPerm <- parseSome3FunPermFromRust
-     un3SomeFunPerm args ret getSome3FunPerm
+  do get3SomeFunPerm <- parseSome3FunPermFromRust env w str
+     runLiftRustConvM (mkRustConvInfo env) $ un3SomeFunPerm args ret get3SomeFunPerm
 
 
 -- | Just like `parseFunPermFromRust`, but returns a `Some3FunPerm`