generate dot files with attributes on nodes (instead of only edges), and added genera...

[helm.git] / helm / software / components / library / coercGraph.mli

diff --git a/helm/software/components/library/coercGraph.mli b/helm/software/components/library/coercGraph.mli
index 283d8a4844f3d26198bb80e3fee1e65d555a792f..691bafd4c9c404ce7b259f152eb710eff4813ee0 100644 (file)
--- a/helm/software/components/library/coercGraph.mli
+++ b/helm/software/components/library/coercGraph.mli
@@ -26,7 +26,7 @@
 (* This module implements the Query interface to the Coercion Graph *)
 
 type coercion_search_result = 
-  | SomeCoercion of Cic.term
+  | SomeCoercion of Cic.term list
   | NoCoercion
   | NotMetaClosed
   | NotHandled of string Lazy.t