From b122cec27ca27d0b48e786191448e0053be78ed0 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Tue, 27 Nov 2012 02:13:38 +0000 Subject: Tuples and records merge. Resolves bug 270. Also some fixes to parametric datatypes I found, and fixes for a handful of bugs, including some observed with --check-models --incremental on together. (this commit was certified error- and warning-free by the test-and-commit script.) --- src/util/record.i | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 src/util/record.i (limited to 'src/util/record.i') diff --git a/src/util/record.i b/src/util/record.i new file mode 100644 index 000000000..f662178c2 --- /dev/null +++ b/src/util/record.i @@ -0,0 +1,5 @@ +%{ +#include "util/record.h" +%} + +%include "util/record.h" -- cgit v1.2.3