Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/thy_syn.ML
changeset 3620 ed1416badb41
parent 3619 0fc67ad6d62a
child 6206 7d2204fcc1e5 
--- a/src/Pure/Thy/thy_syn.ML	Wed Aug 06 11:52:16 1997 +0200
+++ b/src/Pure/Thy/thy_syn.ML	Wed Aug 06 11:56:31 1997 +0200
@@ -30,7 +30,7 @@
 (* augment syntax *)
 
 fun add_syntax keys sects =
- (keywords := keys union ! keywords;
+ (keywords := (keys union ! keywords);
   sections := sects @ ! sections;
   syntax := make_syntax ());
isabelle