]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/lib/cps.ml
- performance data added for reference
[helm.git] / helm / software / lambda-delta / lib / cps.ml
index 38b24903068c42a632c1f10e7002fcb16ebac653..75f8bcd37fa330c9ba8ddf1f2a2ad494a9a9b96b 100644 (file)
@@ -9,6 +9,8 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
+let err () = assert false
+
 let start x = x
 
 let id f x = f x