X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcontent_pres%2FproceduralTypes.ml;h=95fdc6e562d6c8e281c937509dd8b57d57431ab9;hb=46bde81a59b45bedd6d859450decfc2263d92d7e;hp=b7f6d3c6b68b2baf49909f448e86c5aa2f83e3e4;hpb=ad45ff0a9bc4ddbfe0691ce1edbfa8784b37aa8e;p=helm.git

diff --git a/components/content_pres/proceduralTypes.ml b/components/content_pres/proceduralTypes.ml
index b7f6d3c6b..95fdc6e56 100644
--- 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