Merge pull request #223 from rlepigre/br/prim-string

Adapt to coq/coq#18973.
uds-psl · Jun 14, 2024 · 40d38b1 · 40d38b1
2 parents 46d8878 + 789a0ab
commit 40d38b1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/theories/L/Tactics/Extract.v b/theories/L/Tactics/Extract.v
@@ -552,6 +552,7 @@ Fixpoint extract (env : nat -> nat) (s : Ast.term) (fuel : nat) : TemplateMonad
   | tCoFix _ _ =>  tmFail "tCoFix is not supported"
   | tInt _ =>  tmFail "tInt is not supported"
   | tFloat _ =>  tmFail "tFloat is not supported"
+  | tString _ =>  tmFail "tString is not supported"
   | tArray _ _ _ _ =>  tmFail "tArray is not supported"
    end end.