aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-11-06 14:41:29 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-11-06 14:41:29 +0000
commit569e7940f878f27b0fb9d3c8e8abfc29f3379103 (patch)
treefbd2970c097179d9eaf0ce156b4e2bb57f8ed395 /src
parentfa18f1f184ba89b3dfe592e77a276da42d326f42 (diff)
* Allow `+' in path names.
Diffstat (limited to 'src')
-rw-r--r--src/fix-ng/fix.sdf2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/fix-ng/fix.sdf b/src/fix-ng/fix.sdf
index 0cc486e14..30f930686 100644
--- a/src/fix-ng/fix.sdf
+++ b/src/fix-ng/fix.sdf
@@ -100,7 +100,7 @@ exports
"\"" ~[\n\"]* "\"" -> Str
PathComp ("/" PathComp)+ -> Path
- [a-zA-Z0-9\.\_\-]+ -> PathComp
+ [a-zA-Z0-9\.\_\-\+]+ -> PathComp
"true" -> Bool
"false" -> Bool