Never commit before trying to compile... stupid typo fixed.

[helm.git] / helm / software / components / ng_kernel / nCicUtils.mli

diff --git a/helm/software/components/ng_kernel/nCicUtils.mli b/helm/software/components/ng_kernel/nCicUtils.mli
index b032a2218eafd91a459907e79a37294a304632d9..e010f5d19b443cdddef76b5ec575839679430223 100644 (file)
--- a/helm/software/components/ng_kernel/nCicUtils.mli
+++ b/helm/software/components/ng_kernel/nCicUtils.mli
@@ -29,5 +29,3 @@ val fold:
 val map:
  (NCic.hypothesis -> 'k -> 'k) -> 'k ->
  ('k -> NCic.term -> NCic.term) -> NCic.term -> NCic.term
-
-val is_closed: NCic.term -> bool