oops;
authorwenzelm
Wed, 06 Aug 1997 11:56:31 +0200
changeset 3620 ed1416badb41
parent 3619 0fc67ad6d62a
child 3621 d3e248853428
oops;
src/Pure/Thy/thy_syn.ML
--- 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 ());