Fix bug traces of old constructor B

diff --git a/ocaml/simple.ml b/ocaml/simple.ml
index 154992dd3f056dad04a1334eff68b75b7be211b7..9de1f2a7c12444f2b651628d7d499e7e8497871b 100644 (file)
--- a/ocaml/simple.ml
+++ b/ocaml/simple.ml
@@ -115,7 +115,7 @@ let rec no_leading_lambdas v n = function
 let rec subst level delift sub =\r
  function\r
  | V v -> if v = level + fst sub then lift level (snd sub) else V (if delift && v > level then v-1 else v)\r
- | L t -> let t = subst (level + 1) delift sub t in if t = B then B else L t\r
+ | L t -> L (subst (level + 1) delift sub t)\r
  | A (t1,t2) ->\r
   let t1 = subst level delift sub t1 in\r
   let t2 = subst level delift sub t2 in\r