X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Ftopology%2Fsh_grafite.js;h=2e6bcdff4f04a995e73662750bee836110578d57;hb=b367de0252e88d6b0476648d5ceac7e4aeffca27;hp=f327caada9c285b64f59cfdf232a80e36965fd1b;hpb=488fb7a872e0cf99f58a97baf6ec2358625d1212;p=helm.git

diff --git a/helm/software/matita/nlibrary/topology/sh_grafite.js b/helm/software/matita/nlibrary/topology/sh_grafite.js
index f327caada..2e6bcdff4 100644
--- a/helm/software/matita/nlibrary/topology/sh_grafite.js
+++ b/helm/software/matita/nlibrary/topology/sh_grafite.js
@@ -19,7 +19,7 @@ sh_languages['grafite'] = [
       1
     ],
     [
-      /\b(?:match|with|naxiom|nlemma|ntheorem|nrecord|for|ninductive|ncoinductive|ndefinition|nlet|rec|corec|notation|interpretation|nqed|include)\b/g,
+      /\b(?:match|with|in|naxiom|nlemma|ntheorem|nrecord|for|ninductive|ncoinductive|ndefinition|nlet|rec|corec|notation|interpretation|nqed|include)\b/g,
       'sh_keyword',
       -1
     ],