diff options
| author | Tim King <taking@cs.nyu.edu> | 2013-04-28 18:15:20 -0400 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2013-04-28 18:15:20 -0400 |
| commit | d0514a37c2bf753ae5da35b2c350f2d681f9a752 (patch) | |
| tree | 1efae7ec9efaa4265473e8d19326af0554ca3162 /src/theory/arith/Makefile.am | |
| parent | 9098391fe334d829ec4101f190b8f1fa21c30752 (diff) | |
Fixing the failure for make distcheck.
Diffstat (limited to 'src/theory/arith/Makefile.am')
| -rw-r--r-- | src/theory/arith/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/arith/Makefile.am b/src/theory/arith/Makefile.am index c5b07c3a5..3c664d806 100644 --- a/src/theory/arith/Makefile.am +++ b/src/theory/arith/Makefile.am @@ -55,6 +55,7 @@ libarith_la_SOURCES = \ pure_update_simplex.cpp \ theory_arith.h \ theory_arith.cpp \ + theory_arith_private_forward.h \ theory_arith_private.h \ theory_arith_private.cpp \ dio_solver.h \ |