From b410694f6ab40b45f933d24536e9545d0bac8176 Mon Sep 17 00:00:00 2001
From: Guilhem Lavaux <guilhem.lavaux@laposte.net>
Date: Sat, 19 Jan 2013 12:14:08 -0500
Subject: [PATCH] Added an assertion check to trouble shoot potential SEGV

---
 c_tools/libzobov/loadZobov.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/c_tools/libzobov/loadZobov.cpp b/c_tools/libzobov/loadZobov.cpp
index 7399874..2d5a2ff 100644
--- a/c_tools/libzobov/loadZobov.cpp
+++ b/c_tools/libzobov/loadZobov.cpp
@@ -1,3 +1,4 @@
+#include <cassert>
 #include <string>
 #include <fstream>
 #include <iostream>
@@ -152,6 +153,7 @@ bool loadZobov(const char *descName, const char *adjName, const char *voidsName,
       for (int j = 0; j < z.allVoids[volId].zId.size(); j++)
         {
           int zzid = z.allVoids[volId].zId[j];
+          assert(zzid < z.allZones.size());
 	  actualNumber += z.allZones[zzid].pId.size();
         }