diff options
| author | krasimir <krasimir@chalmers.se> | 2008-04-22 13:09:14 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2008-04-22 13:09:14 +0000 |
| commit | d80c1b22ce3d4eac11fcd2b0b3353830666a2ec6 (patch) | |
| tree | e8eb6d704d6cea32393891c5f0168a4764ee25b6 /src | |
| parent | 43f30025f40a079d89906a271d1619c126c41a7d (diff) | |
fix complete pattern in isOldFile
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/Devel/ReadFiles.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Devel/ReadFiles.hs b/src/GF/Devel/ReadFiles.hs index 36b932ed0..0637b48f1 100644 --- a/src/GF/Devel/ReadFiles.hs +++ b/src/GF/Devel/ReadFiles.hs @@ -305,6 +305,7 @@ isOldFile f = do where old (PT _ (TS t)) = elem t $ words "cat category data def flags fun include lin lincat lindef lintype oper param pattern printname rule" + old _ = False |