From 569e7940f878f27b0fb9d3c8e8abfc29f3379103 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Thu, 6 Nov 2003 14:41:29 +0000
Subject: [PATCH] * Allow `+' in path names.
---
src/fix-ng/fix.sdf | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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
--
GitLab