From 98af95fb2442ef8f68a906ea9a6594ff0e2947c1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Fri, 17 Jan 2014 18:33:34 +0100
Subject: [PATCH] Initiallize arrayDestAg correctly

This avoids coalg from segfaulting.
---
 CoAlgMisc.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CoAlgMisc.ml b/CoAlgMisc.ml
index 3107752..e6e165b 100644
--- a/CoAlgMisc.ml
+++ b/CoAlgMisc.ml
@@ -730,7 +730,7 @@ let ppFormulae nomTbl tbox (s, f) =
   arrayDest2 := Array.init card (fun _ -> Array.make !size (-1));
   arrayDest3 := Array.init card (fun _ -> Array.make !size (-1));
   arrayNeg := Array.init card (fun _ -> Array.make !size (-1));
-  (* arrayDestAg := Array.init card (fun _ -> Array.make !size (S.makeBS ())); *)
+  arrayDestAg := Array.init card (fun _ -> Array.make !size (Array.make 0 (-1)));
   let htR = Hashtbl.create 128 in
   Array.iteri (fun s ht -> C.HcFHt.iter (initTables nomTbl hcF htF htR s) ht) htF;
   arrayAt := Array.init card (fun _ -> Array.init !size (fun _ -> FHt.create 8));
-- 
GitLab