From 1b584d95678ed839a435a72243c94c550b4cbccb Mon Sep 17 00:00:00 2001 From: Rob Dockins Date: Mon, 18 May 2020 10:44:54 -0700 Subject: [PATCH] typo --- src/Cryptol/Eval/SBV.hs | 2 +- src/Cryptol/Eval/What4.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Cryptol/Eval/SBV.hs b/src/Cryptol/Eval/SBV.hs index 2199b596..b90b6d6d 100644 --- a/src/Cryptol/Eval/SBV.hs +++ b/src/Cryptol/Eval/SBV.hs @@ -303,7 +303,7 @@ instance Backend SBV where do unless (0 <= e) (raiseError sym NegativeExponent) pure $! SBV.svExp a b | otherwise = - liftIO (X.throw (UnsupportedSymbolicOp "integer exponentation")) + liftIO (X.throw (UnsupportedSymbolicOp "integer exponentiation")) -- NB, we don't do reduction here intToZn _ _m a = pure a diff --git a/src/Cryptol/Eval/What4.hs b/src/Cryptol/Eval/What4.hs index a0231182..887fced8 100644 --- a/src/Cryptol/Eval/What4.hs +++ b/src/Cryptol/Eval/What4.hs @@ -299,7 +299,7 @@ instance W4.IsExprBuilder sym => Backend (What4 sym) where intExp (What4 sym) x y | Just i <- W4.asInteger y = intExpConcrete sym x i - | otherwise = liftIO (X.throw (UnsupportedSymbolicOp "integer exponentation")) + | otherwise = liftIO (X.throw (UnsupportedSymbolicOp "integer exponentiation")) intLg2 (What4 sym) x | Just i <- W4.asInteger x = liftIO $ W4.intLit sym (lg2 i)