changeset 108:4b26c8020229

Fix return
author atton
date Mon, 13 Feb 2017 13:59:20 +0900
parents e1d3317d5789
children f6d00a13f923
files paper/src/assert.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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);
 }