diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/open-axiom.m4 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/open-axiom.m4 b/config/open-axiom.m4 index 995ea70b..706f5919 100644 --- a/config/open-axiom.m4 +++ b/config/open-axiom.m4 @@ -1184,6 +1184,7 @@ AC_CONFIG_LINKS([ $oa_incdir/vm:src/include/vm.H $oa_incdir/sexpr:src/include/sexpr.H $oa_incdir/Lisp:src/include/Lisp.H + $oa_incdir/InputFragment:src/include/InputFragment.h $oa_incdir/Constructor:src/include/Constructor.H $oa_incdir/Database:src/include/Database.H ]) |