diff --git a/cryptol-saw-core/src/Verifier/SAW/Cryptol.hs b/cryptol-saw-core/src/Verifier/SAW/Cryptol.hs
index aa36d380..675a2b9e 100644
--- a/cryptol-saw-core/src/Verifier/SAW/Cryptol.hs
+++ b/cryptol-saw-core/src/Verifier/SAW/Cryptol.hs
@@ -203,6 +203,7 @@ importPC sc pc =
     C.PTrue      -> panic "importPC PTrue" []
     C.PFLiteral  -> panic "importPC PFLiteral" []
     C.PValidFloat -> panic "importPC PValidFloat" []
+    C.PPrime     -> panic "importPC PPrime" []
 
 -- | Translate size types to SAW values of type Num, value types to SAW types of sort 0.
 importType :: SharedContext -> Env -> C.Type -> IO Term