From 8cde77abf105c7c712b72da6e25f695a687559a1 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 3 Jun 2013 18:18:24 -0400 Subject: Java datatype API fixups, datatype API examples --- src/util/proof.i | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 src/util/proof.i (limited to 'src/util/proof.i') diff --git a/src/util/proof.i b/src/util/proof.i new file mode 100644 index 000000000..22dff1043 --- /dev/null +++ b/src/util/proof.i @@ -0,0 +1,5 @@ +%{ +#include "util/proof.h" +%} + +%include "util/proof.h" -- cgit v1.2.3