(* $Id$ *)
-let time = true;;
+let time = false;;
let debug = false;;
let debug_metas = false;;
let debug_res = false;;
| Cic.Meta (i,_) -> Cic.Meta (i,[])
| Cic.Appl l ->
Cic.Appl(List.map remove_local_context l)
+ | Cic.Prod (n,s,t) ->
+ Cic.Prod (n,remove_local_context s, remove_local_context t)
| t -> t