matitaGui: some missing cases during disambiguation now treated

[helm.git] / components / content_pres / proceduralTypes.ml

diff --git a/components/content_pres/proceduralTypes.ml b/components/content_pres/proceduralTypes.ml
index b7f6d3c6b68b2baf49909f448e86c5aa2f83e3e4..95fdc6e562d6c8e281c937509dd8b57d57431ab9 100644 (file)
--- a/components/content_pres/proceduralTypes.ml
+++ b/components/content_pres/proceduralTypes.ml
@@ -55,6 +55,17 @@ let list_rev_map_concat map sep a l =
    in
    aux a l
 
+let is_atomic = function
+   | C.ASort _
+   | C.AConst _
+   | C.AMutInd _
+   | C.AMutConstruct _
+   | C.AVar _
+   | C.ARel _
+   | C.AMeta _
+   | C.AImplicit _     -> true
+   | _                 -> false
+
 (****************************************************************************)
 
 type name  = string