X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2FExtraction.v;h=542b5d49d7fc8d462a8666b19ad4722467951b80;hb=5d42cb2462795fc0feadf8fd9b2c701e1cd1a8b0;hp=9e9622b123cf3a5282580aa429f84f657a592aac;hpb=112daf37524662d6d2267d3f7e50ff3522683b8f;p=coq-hetmet.git

diff --git a/src/Extraction.v b/src/Extraction.v
index 9e9622b..542b5d4 100644
--- 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