From 3f9e470b84d3a9cada17ad84a7d2b11f2841a778 Mon Sep 17 00:00:00 2001 From: Joe Hendrix Date: Tue, 17 Oct 2017 14:09:48 -0700 Subject: [PATCH] Fix macaw-symbolic compile error. --- symbolic/src/Data/Macaw/Symbolic/App.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/symbolic/src/Data/Macaw/Symbolic/App.hs b/symbolic/src/Data/Macaw/Symbolic/App.hs index bb76cc57..a418cd33 100644 --- a/symbolic/src/Data/Macaw/Symbolic/App.hs +++ b/symbolic/src/Data/Macaw/Symbolic/App.hs @@ -277,7 +277,8 @@ appToCrucible app = do M.BVShl w x y -> appAtom =<< C.BVShl w <$> v2c x <*> v2c y M.BVShr w x y -> appAtom =<< C.BVLshr w <$> v2c x <*> v2c y M.BVSar w x y -> appAtom =<< C.BVAshr w <$> v2c x <*> v2c y - M.UadcOverflows w x y c -> do + M.UadcOverflows x y c -> do + let w = M.typeWidth x let w' = incNat w x' <- zext1 w =<< v2c x y' <- zext1 w =<< v2c y