From 8b816e7ec4cf390470d9b918739220156f9e22db Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 5 Jan 2007 11:37:25 +0000 Subject: [PATCH] add_moo_content does not add a coercion statement twice --- helm/software/components/grafite_engine/grafiteTypes.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/software/components/grafite_engine/grafiteTypes.ml b/helm/software/components/grafite_engine/grafiteTypes.ml index 80efca87a..43d8e7f17 100644 --- a/helm/software/components/grafite_engine/grafiteTypes.ml +++ b/helm/software/components/grafite_engine/grafiteTypes.ml @@ -125,7 +125,8 @@ let add_moo_content cmds status = (* prerr_endline ("adding to moo command: " ^ GrafiteAstPp.pp_command cmd); *) match cmd with | GrafiteAst.Default _ - | GrafiteAst.Index _ -> + | GrafiteAst.Index _ + | GrafiteAst.Coercion _ -> if List.mem cmd content then acc else cmd :: acc | _ -> cmd :: acc) -- 2.39.2