Update saw-remote-api with TypedTerm changes

GaloisInc · Jun 15, 2021 · 9a46e6d · 9a46e6d
1 parent 81c800a
commit 9a46e6d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/saw-remote-api/src/SAWServer/CryptolExpression.hs b/saw-remote-api/src/SAWServer/CryptolExpression.hs
@@ -39,7 +39,7 @@ import Verifier.SAW.CryptolEnv
       translateExpr,
       CryptolEnv(eExtraTypes, eExtraTSyns, eModuleEnv) )
 import Verifier.SAW.SharedTerm (SharedContext)
-import Verifier.SAW.TypedTerm(TypedTerm(..))
+import Verifier.SAW.TypedTerm(TypedTerm(..),TypedTermType(..))
 
 import qualified Argo
 import CryptolServer.Data.Expression (Expression, getCryptolExpr)
@@ -86,7 +86,7 @@ getTypedTermOfCExp fileReader sc cenv expr =
        (Right ((checkedExpr, schema), modEnv'), ws) ->
          do let env' = cenv { eModuleEnv = modEnv' }
             trm <- liftIO $ translateExpr sc env' checkedExpr
-            return (Right (TypedTerm schema trm, modEnv'), ws)
+            return (Right (TypedTerm (TypedTermSchema schema) trm, modEnv'), ws)
        (Left err, ws) -> return (Left err, ws)
 
 moduleCmdResult :: ModuleRes a -> Argo.Command SAWState (a, ModuleEnv)