X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fgraphs%2Ftools%2FdrawGraph.ml;fp=helm%2Fgraphs%2Ftools%2FdrawGraph.ml;h=dd0e6cf5c00b2bb93318a4f708333137c261112d;hb=adb87d5ebd0149970fd45ce4976d4e0e058fb227;hp=0714383190fbc4f75b4db18abf063ee1f25eaf59;hpb=dcfdf34d7b60c987b1686cadb338fc490c4d7487;p=helm.git
diff --git a/helm/graphs/tools/drawGraph.ml b/helm/graphs/tools/drawGraph.ml
index 071438319..dd0e6cf5c 100644
--- a/helm/graphs/tools/drawGraph.ml
+++ b/helm/graphs/tools/drawGraph.ml
@@ -58,7 +58,7 @@ let errmsg =
Graph: error
- Error occured while drawing graph!
Please report the occured problem
+ Error occurred while drawing graph!
Please report the occured problem
%s