aboutsummaryrefslogtreecommitdiffstats
path: root/Llk
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2016-08-12 18:03:48 +0200
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2016-08-12 18:03:48 +0200
commit5368f8a44eec29a37e8364040e6a0dcb1894f01a (patch)
tree3af71416716076b27d42b797f4ebc0836a1ddcd3 /Llk
parentdc43c24d01226cf50e747e6483684138d7fda239 (diff)
downloadCompiler-5368f8a44eec29a37e8364040e6a0dcb1894f01a.zip
Compiler-5368f8a44eec29a37e8364040e6a0dcb1894f01a.tar.gz
Compiler-5368f8a44eec29a37e8364040e6a0dcb1894f01a.tar.bz2
PP: A named token can no longer be unified.
Diffstat (limited to 'Llk')
-rw-r--r--Llk/Llk.pp1
1 files changed, 0 insertions, 1 deletions
diff --git a/Llk/Llk.pp b/Llk/Llk.pp
index 5f8ef2b..6a6dc86 100644
--- a/Llk/Llk.pp
+++ b/Llk/Llk.pp
@@ -84,7 +84,6 @@ simple:
| ::kept_:: <token> ( ::unification_:: <unification> ::_unification:: )?
::_kept:: #kept
| <token> ::named::
- ( ::unification_:: <unification> ::_unification:: )? #named
quantifier:
<zero_or_one>