diff options
Diffstat (limited to 'translate/gcc/dist-common.sh')
| -rw-r--r-- | translate/gcc/dist-common.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/translate/gcc/dist-common.sh b/translate/gcc/dist-common.sh index d7a4970..473ebb1 100644 --- a/translate/gcc/dist-common.sh +++ b/translate/gcc/dist-common.sh @@ -19,6 +19,8 @@ sem_scopes.adb sem_scopes.ads sem_decls.ads sem_decls.adb +sem_inst.ads +sem_inst.adb sem_specs.ads sem_specs.adb sem_stmts.ads |