diff --git a/CoAlgMisc.ml b/CoAlgMisc.ml
index 31077526442f263cc173c47db136233f54a22e37..e6e165b2894d5ed7ee5f8da177c17a5735057dfd 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));