fixed bug introduced in compiler ansification patch
Warning, cannot access the index:
_darcs/index: opening of '_darcs/index' failed: permission denied (Permission denied)
diff -rN -u old-branch-2-0/src/snc/snc.y new-branch-2-0/src/snc/snc.y
--- old-branch-2-0/src/snc/snc.y 2022-11-28 22:31:41.157200154 +0100
+++ new-branch-2-0/src/snc/snc.y 2022-11-28 22:31:41.157200154 +0100
@@ -454,9 +454,10 @@
;
pp_code /* pre-processor code (e.g. # 1 "test.st") */
-: PP_SYMBOL NUMBER STRING CR { pp_code($2, $3); }
-| PP_SYMBOL NUMBER CR { pp_code($2, 0); }
-| PP_SYMBOL STRING CR { /* Silently consume #pragma lines */ }
+: PP_SYMBOL NUMBER STRING CR { pp_code($2, $3); }
+| PP_SYMBOL NUMBER CR { pp_code($2, 0); }
+| PP_SYMBOL NUMBER STRING NUMBER CR { pp_code($2, $3); }
+| PP_SYMBOL STRING CR { /* Silently consume #pragma lines */ }
;
pp_codes /* one or more pp_code */
patch 6320ac0ec8ab38e8acd9f3888d3c312296e2746a
Author: benjamin.franksen@helmholtz-berlin.de
Date: Thu Apr 7 13:22:16 CEST 2011
* fixed bug introduced in compiler ansification patc