From 6ac16429294ff3a755c618ece3ba5e22d59e27f9 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Tue, 10 Jun 2014 19:42:09 +0200 Subject: Removing dead code in checker/univ.ml. --- checker/declarations.ml | 1 - 1 file changed, 1 deletion(-) (limited to 'checker/declarations.ml') diff --git a/checker/declarations.ml b/checker/declarations.ml index f500693ce..c705a707f 100644 --- a/checker/declarations.ml +++ b/checker/declarations.ml @@ -442,7 +442,6 @@ let subst_constant_def sub = function | OpaqueDef lc -> OpaqueDef (subst_lazy_constr sub lc) (** Local variables and graph *) -type universe_context = Univ.LSet.t * Univ.constraints let body_of_constant cb = match cb.const_body with | Undef _ -> None -- cgit v1.2.3