about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-11-06T14·41+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-11-06T14·41+0000
commit569e7940f878f27b0fb9d3c8e8abfc29f3379103 (patch)
treefbd2970c097179d9eaf0ce156b4e2bb57f8ed395
parentfa18f1f184ba89b3dfe592e77a276da42d326f42 (diff)
* Allow `+' in path names.
-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 0cc486e14d..30f9306863 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