diff options
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/Makefile.am | 1 | ||||
-rw-r--r-- | src/util/array_store_all.i | 6 |
2 files changed, 7 insertions, 0 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index 8b0b2164f..432e6ef26 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -170,6 +170,7 @@ EXTRA_DIST = \ exception.i \ language.i \ array.i \ + array_store_all.i \ ascription_type.i \ rational.i \ hash.i diff --git a/src/util/array_store_all.i b/src/util/array_store_all.i new file mode 100644 index 000000000..afc14d089 --- /dev/null +++ b/src/util/array_store_all.i @@ -0,0 +1,6 @@ +%{ +#include "util/array_store_all.h" +%} + +%include "expr/type.i" +%include "util/array_store_all.h" |