From: Claudio Sacerdoti Coen Date: Tue, 28 Aug 2012 16:13:44 +0000 (+0000) Subject: Dead code removed. X-Git-Tag: make_still_working~1525 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=916ebe889a7db003e79dea77671e3a1aeb8d7dc8;p=helm.git Dead code removed. --- diff --git a/matita/components/ng_kernel/nCicExtraction.ml b/matita/components/ng_kernel/nCicExtraction.ml index 4336d800f..1bfcf832e 100644 --- a/matita/components/ng_kernel/nCicExtraction.ml +++ b/matita/components/ng_kernel/nCicExtraction.ml @@ -124,8 +124,6 @@ let rec size_of_term = | Skip t -> size_of_term t | UnsafeCoerce t -> 1 + size_of_term t ;; -let unitty = - NCic.Const (NReference.reference_of_spec (NUri.uri_of_string "cic:/matita/basics/types/unit.ind") (NReference.Ind (true,0,0)));; type obj_kind = TypeDeclaration of typ_former_decl