Skip to content
Commit b05a09b2 authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Fixed: query_names() also added variables, removed #1, #2. 

A few IS_STDNAME(t) checks were missing.
Removing #1, #2 was a leftover from when quantifiers were implemented
through callbacks.
parent cf096c41
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment