diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2013-04-30 10:10:38 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2013-04-30 10:11:03 -0400 |
commit | 2bce108ebe25f7a4b5996cf3fde5eda77564f52e (patch) | |
tree | 11d4234c780e56ccfcb3576c770215a90fd02fd8 /src | |
parent | e070c4a6d716407916c65a66ea9f019d1681ae8e (diff) |
add decision_attributes.h for make dist
Diffstat (limited to 'src')
-rw-r--r-- | src/theory/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/Makefile.am b/src/theory/Makefile.am index b3760b239..bd7b881e1 100644 --- a/src/theory/Makefile.am +++ b/src/theory/Makefile.am @@ -9,6 +9,7 @@ DIST_SUBDIRS = $(SUBDIRS) example noinst_LTLIBRARIES = libtheory.la libtheory_la_SOURCES = \ + decision_attributes.h \ logic_info.h \ logic_info.cpp \ output_channel.h \ |