X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=ocaml%2Fsimple.ml;fp=ocaml%2Fsimple.ml;h=7be80c430b9bbac484e4d8f8029f9dbd8073a5ee;hb=b529f51389b1a5f2f2e5f035f8c1abdafe5a0a4c;hp=b068791d4d55a3fda859c36ab01a5e643bb065e7;hpb=27a3d2f1379f6fff89d7de2d82f7066b8cc0f31a;p=fireball-separation.git

diff --git a/ocaml/simple.ml b/ocaml/simple.ml
index b068791..7be80c4 100644
--- a/ocaml/simple.ml
+++ b/ocaml/simple.ml
@@ -129,7 +129,6 @@ let rec subst level delift sub =
  | B -> B
 and mk_app t1 t2 = if t2 = B || (t1 = delta && t2 = delta) then B
  else match t1 with
- | C _ as t -> t
  | B -> B
  | L t1 -> subst 0 true (0, t2) t1
  | _ -> A (t1, t2)