diff options
Diffstat (limited to 'src/yytrans')
-rw-r--r-- | src/yytrans | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/yytrans b/src/yytrans index d78fe26..9de7462 100644 --- a/src/yytrans +++ b/src/yytrans @@ -16,5 +16,6 @@ # # See build-aux/yyrename for a description of this file. -grecs grecs_yy -meta1 grecs_meta1_yy +grecs grecs_grecs_ +meta1 grecs_meta1_ +bind grecs_bind_ |