| commit | 629eee063689dc045a5d6a3243e9f4dac432903f | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sat Jul 15 22:27:47 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Jul 15 22:27:47 2000 +0000 |
| tree | 4a5a8ebb401030f1362e1a90116a6a27f91aebff | |
| parent | e201cbad0b1265a1faa9904a11d5d44186ac9952 [diff] |
ScannerPREUH3.initpatterns() should call Scanner.initpatterns() so the new comment patterns get included.