From ad3ec9e9d2e2f3a3efb7718462da45d830cdc7d6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <edu@thorsten-wissmann.de>
Date: Wed, 29 Jan 2014 20:42:45 +0100
Subject: [PATCH] Iterate correctly over ocaml list
This means that you have to set the pointer one step further at the end
of each loop iteration.
---
gmlmip_stub.cc | 1 +
1 file changed, 1 insertion(+)
diff --git a/gmlmip_stub.cc b/gmlmip_stub.cc
index 8548e27..bf83b18 100644
--- a/gmlmip_stub.cc
+++ b/gmlmip_stub.cc
@@ -75,6 +75,7 @@ CAMLprim value gmlRules_stub(value modalities) {
Bool_val(vpos),
Int_val(vcnt)),
Int_val(vformula)));
+ block = Field(block, 1);
}
// Do one rule step and save result in rulevec
GMLConclusion rulevec = gmlmip_onestep_gml(modvec);
--
GitLab