ugly coerc db print

[helm.git] / helm / software / components / ng_refiner / nCicUnifHint.mli

diff --git a/helm/software/components/ng_refiner/nCicUnifHint.mli b/helm/software/components/ng_refiner/nCicUnifHint.mli
index 862c9808efc0193b00d78257cfd1f48f5ecbd2b7..421ef9ffb66e0d48672e3b2e01a4ecd1ab24d147 100644 (file)
--- a/helm/software/components/ng_refiner/nCicUnifHint.mli
+++ b/helm/software/components/ng_refiner/nCicUnifHint.mli
@@ -42,3 +42,5 @@ val look_for_hint:
 
 val eq_class_of:
       #status -> NCic.term -> NCic.term list
+
+val generate_dot_file: #status -> Format.formatter -> unit