X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Flib%2Fcps.ml;fp=helm%2Fsoftware%2Flambda-delta%2Flib%2Fcps.ml;h=75f8bcd37fa330c9ba8ddf1f2a2ad494a9a9b96b;hb=de66af7241ad8ab71d5857d14570e4662f2488dc;hp=38b24903068c42a632c1f10e7002fcb16ebac653;hpb=f983656c56d37a50536e50a319114dbfa592c9a0;p=helm.git

diff --git a/helm/software/lambda-delta/lib/cps.ml b/helm/software/lambda-delta/lib/cps.ml
index 38b249030..75f8bcd37 100644
--- a/helm/software/lambda-delta/lib/cps.ml
+++ b/helm/software/lambda-delta/lib/cps.ml
@@ -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