X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Fturing%2Fmono.ma;h=f041d8b259f514351f36b11a20acf8a88cd5eaa2;hb=5fc2b08d86038360e588b8fff333a623964efabe;hp=7d6bad37fcb45d6bf14401eedb8d789b254c5c80;hpb=75bf98d7d7a16ff8ce2c530e718809e2bc331568;p=helm.git

diff --git a/matita/matita/lib/turing/mono.ma b/matita/matita/lib/turing/mono.ma
index 7d6bad37f..f041d8b25 100644
--- a/matita/matita/lib/turing/mono.ma
+++ b/matita/matita/lib/turing/mono.ma
@@ -39,7 +39,6 @@ definition right ≝
  | rightof _ _ ⇒ []
  | midtape _ _ r ⇒ r ].
  
- 
 definition current ≝ 
  λsig.λt:tape sig.match t with
  [ midtape _ c _ ⇒ Some ? c