Changed WEBrak/WEEsc to store a CoreType

[coq-hetmet.git] / src / Extraction.v

diff --git a/src/Extraction.v b/src/Extraction.v
index 9e9622b..542b5d4 100644 (file)
--- a/src/Extraction.v
+++ b/src/Extraction.v
@@ -40,7 +40,7 @@ Extract Constant shift => "\ b c -> Data.Char.chr (((Char.code c) `shiftL` 1) .&
 Unset Extraction Optimize.
 Unset Extraction AutoInline.
 
-Definition coqCoreToStringPass (s:CoreExpr CoreVar) : string
+Definition coqCoreToStringPass (s:@CoreExpr CoreVar) : string
    := "FIXME".
 (*
 Definition coqCoreToCorePass (s:CoreExpr CoreVar) : CoreExpr CoreVar