Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Lifeware
biocham
Commits
ba243e57
Commit
ba243e57
authored
Nov 05, 2019
by
HEMERY Mathieu
Browse files
Modify Identifier_name so that more chars are accepted: (){}~
parent
2b3f01a7
Changes
1
Hide whitespace changes
Inline
Side-by-side
util.pl
View file @
ba243e57
...
...
@@ -589,11 +589,8 @@ identifier_name(Atom) :-
(
alphanumeric_char(Char)
;
Char = '
-
'
;
Char = '
_
'
;
Char = '
.
'
% ad-hoc bypassing for species name
member(Char,['
-
','
_
','
.
','
,
','
~
','
{
','
}
','
(
','
)
'])
)
)
).
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment