First very partial implementation of LetIn and bodyed Variables

[helm.git] / helm / interface / cicReduction.ml

diff --git a/helm/interface/cicReduction.ml b/helm/interface/cicReduction.ml
index 6497cd3786dd759ab7954f656e316a56d5dde70f..7b2eb09449e5fc632c0b3cb90f366cc118b171af 100644 (file)
--- a/helm/interface/cicReduction.ml
+++ b/helm/interface/cicReduction.ml
@@ -6,7 +6,7 @@ let debug t env s =
  let rec debug_aux t i =
   let module C = Cic in
   let module U = UriManager in
-   CicPp.ppobj (C.Variable ("DEBUG",
+   CicPp.ppobj (C.Variable ("DEBUG", None,
     C.Prod (C.Name "-9", C.Const (U.uri_of_string "cic:/dummy-9",0),
      C.Prod (C.Name "-8", C.Const (U.uri_of_string "cic:/dummy-8",0),
       C.Prod (C.Name "-7", C.Const (U.uri_of_string "cic:/dummy-7",0),