# HG changeset patch
# User atton
# Date 1486961960 -32400
# Node ID 4b26c802022973dbc57bd850ba57140e517eb433
# Parent  e1d3317d5789f088af61ebd18939ed40f9b8bb68
Fix return

diff -r e1d3317d5789 -r 4b26c8020229 paper/src/assert.c
--- a/paper/src/assert.c	Mon Feb 13 13:47:04 2017 +0900
+++ b/paper/src/assert.c	Mon Feb 13 13:59:20 2017 +0900
@@ -1,4 +1,4 @@
 void verifySpecification(struct Context* context, struct Tree* tree) {
     assert(!(maxHeight(tree->root, 1) > 2*minHeight(tree->root, 1)));
-    return meta(context, EnumerateInputs);
+    goto meta(context, EnumerateInputs);
 }