diff options
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 24dde768..c4769c1e 100644 --- a/Makefile.am +++ b/Makefile.am @@ -47,8 +47,6 @@ libisl_la_SOURCES = \ isl_hash.c \ isl_ilp.c \ isl_input.c \ - isl_input_omega.c \ - isl_input_omega.h \ isl_list.c \ isl_lp.c \ isl_lp_piplib.h \ |