HCoop
/
clinton
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Remove outpost
[clinton/domtool2.git]
/
src
/
domtool.grm
diff --git
a/src/domtool.grm
b/src/domtool.grm
index
0cc4fbd
..
bd2726c
100644
(file)
--- a/
src/domtool.grm
+++ b/
src/domtool.grm
@@
-96,8
+96,7
@@
docOpt : (NONE)
| DOC (SOME DOC)
expOpt : (NONE)
- | exp (SOME (ELocal (exp, (ESkip, (expleft, expright))),
- (expleft, expright)))
+ | exp (SOME exp)
exp : apps (apps)