fix arg snafu

LeventErkok · Oct 30, 2023 · a84d38f · a84d38f
1 parent 55bed72
commit a84d38f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Data/SBV/SMT/SMTLib2.hs b/Data/SBV/SMT/SMTLib2.hs
@@ -817,11 +817,11 @@ cvtExp curProgInfo caps rm tableMap functionMap expr@(SBVApp _ arguments) = sh e
                            | bvOp, sgned = mkAbs fArg "bvslt" "bvneg"
                            | bvOp        = fArg
                            | True        = mkAbs fArg "<"     "-"
-          where fArg = hd "liftAgs" args
+          where fArg = hd "liftAbs" args
                 mkAbs x cmp neg = "(ite " ++ ltz ++ " " ++ nx ++ " " ++ x ++ ")"
                   where ltz = "(" ++ cmp ++ " " ++ x ++ " " ++ z ++ ")"
                         nx  = "(" ++ neg ++ " " ++ x ++ ")"
-                        z   = cvtCV rm (mkConstCV (kindOf fArg) (0::Integer))
+                        z   = cvtCV rm (mkConstCV (kindOf (hd "liftAbs.arguments" arguments)) (0::Integer))
 
         lift2B bOp vOp
           | boolOp = lift2 bOp