X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fclient%2F.cvsignore;h=405d7b0f4cd4f9d6c16a7500c6cdf9dfb0006f04;hb=970ba0021a992efe25ec374875dc127ff236cc74;hp=b2aeedb7d1ab2300da6373ffa424ffe264852255;hpb=2db12b2fb1b0846ae2140273aec5ed8df27c9201;p=helm.git

diff --git a/helm/hbugs/client/.cvsignore b/helm/hbugs/client/.cvsignore
index b2aeedb7d..405d7b0f4 100644
--- a/helm/hbugs/client/.cvsignore
+++ b/helm/hbugs/client/.cvsignore
@@ -4,6 +4,6 @@
 *.cmx
 *.o
 *.a
-gui.ml
+hbugs_client_gui.ml
 hbugs_client
 hbugs_client.opt