From f01e9ac75628cf750ce212ff32f2b2a1d507eb6f Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 21 Oct 2009 09:11:23 +0000 Subject: [PATCH] add XXX where I found a catch all statement --- helm/software/components/grafite_engine/grafiteEngine.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/software/components/grafite_engine/grafiteEngine.ml b/helm/software/components/grafite_engine/grafiteEngine.ml index aea900cdf..fa4b95253 100644 --- a/helm/software/components/grafite_engine/grafiteEngine.ml +++ b/helm/software/components/grafite_engine/grafiteEngine.ml @@ -894,6 +894,7 @@ let rec eval_ncommand opts status (text,prefix_len,cmd) = fst (match menv with [] -> eval_ncommand opts status ("",0,GrafiteAst.NQed Stdpp.dummy_loc) | _ -> status,`New [])) + (* XXX *) with _ -> HLog.warn "error in generating inversion principle"; let status = status#set_ng_mode `CommandMode in status) status -- 2.39.2