- performance data added for reference

[helm.git] / helm / software / lambda-delta / basic_rg / brgReduction.ml

diff --git a/helm/software/lambda-delta/basic_rg/brgReduction.ml b/helm/software/lambda-delta/basic_rg/brgReduction.ml
index 4a1667862d373d63f057ec592053bf09196adf07..8ac7021f9baeee76ca2009bd3bc5267df9694b82 100644 (file)
--- a/helm/software/lambda-delta/basic_rg/brgReduction.ml
+++ b/helm/software/lambda-delta/basic_rg/brgReduction.ml
@@ -51,8 +51,6 @@ let error3 c t1 t2 t3 =
    in
    raise (TypeError (L.ct_items3 sc c st1 t1 st2 t2 st3 t3))
 
-let err () = assert false
-
 let get f m i =
    B.get error0 f m.c i
 
@@ -85,7 +83,7 @@ let rec step f ?(delta=false) ?(rt=false) m x =
            f {m with c = c} None x
         | b                 ->
            let f e = f {m with c = c} (Some (e, b)) x in 
-           B.apix err f a
+           B.apix C.err f a
       in 
       get f m i
    | B.Cast (_, _, t)        ->