"Not" is no longer a definition

[helm.git] / helm / software / lambda-delta / text / txtTxt.ml

diff --git a/helm/software/lambda-delta/text/txtTxt.ml b/helm/software/lambda-delta/text/txtTxt.ml
index 4564adca4aa5270df0e46d9590ccc8a200aeea9a..1d501fe0d7221faa4157f2268da48ae641ea732c 100644 (file)
--- a/helm/software/lambda-delta/text/txtTxt.ml
+++ b/helm/software/lambda-delta/text/txtTxt.ml
@@ -60,4 +60,3 @@ and contract_binder f = function
       in
       let f xwws = f (T.Abst xwws) in
       C.list_map f map xws
-