From 2ac0378392d2e7b4fad49af7078dd5d74be952cc Mon Sep 17 00:00:00 2001
From: Aaron Tomb <atomb@galois.com>
Date: Tue, 19 Jan 2021 14:36:49 -0800
Subject: [PATCH] Fix cryptol-saw-core tests

---
 cryptol-saw-core/test/CryptolVerifierTC.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cryptol-saw-core/test/CryptolVerifierTC.hs b/cryptol-saw-core/test/CryptolVerifierTC.hs
index 73b1e58052..e5bffe455b 100644
--- a/cryptol-saw-core/test/CryptolVerifierTC.hs
+++ b/cryptol-saw-core/test/CryptolVerifierTC.hs
@@ -27,9 +27,9 @@ main =
      let ?fileReader = BS.readFile
      cenv0 <- CEnv.initCryptolEnv sc
      putStrLn "Translated Cryptol.cry!"
-     cenv1 <- CEnv.importModule sc cenv0 (Right N.floatName) Nothing OnlyPublic Nothing
+     cenv1 <- CEnv.importModule sc cenv0 (Right N.floatName) Nothing CEnv.OnlyPublic Nothing
      putStrLn "Translated Float.cry!"
-     cenv2 <- CEnv.importModule sc cenv1 (Right N.arrayName) Nothing OnlyPublic Nothing
+     cenv2 <- CEnv.importModule sc cenv1 (Right N.arrayName) Nothing CEnv.OnlyPublic Nothing
      putStrLn "Translated Array.cry!"
      cenv3 <- CEnv.parseDecls sc cenv2 (CEnv.InputText superclassContents "superclass.cry" 1 1)
      putStrLn "Translated superclass.cry!"