fix Cryptol primitives module name in translation (#187)

It was incorrectly set in f0ed599.
GaloisInc · Mar 30, 2021 · 9f0af8c · 9f0af8c
1 parent 88e51ea
commit 9f0af8c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/saw-core-coq/src/Verifier/SAW/Translation/Coq/SpecialTreatment.hs b/saw-core-coq/src/Verifier/SAW/Translation/Coq/SpecialTreatment.hs
@@ -149,7 +149,7 @@ sawVectorDefinitionsModule (TranslationConfiguration {..}) =
   mkModuleName [vectorModule]
 
 cryptolPrimitivesModule :: ModuleName
-cryptolPrimitivesModule = mkModuleName ["CryptolPrimitivesForSAWCORE"]
+cryptolPrimitivesModule = mkModuleName ["CryptolPrimitivesForSAWCore"]
 
 sawCoreScaffoldingModule :: ModuleName
 sawCoreScaffoldingModule = mkModuleName ["SAWCoreScaffolding"]