From a850cf010325caed89f6359a8b2d96f4e8624f85 Mon Sep 17 00:00:00 2001
From: Pavel Krajcevski <pavel@cs.unc.edu>
Date: Thu, 13 Sep 2012 16:56:44 -0400
Subject: [PATCH] Make sure to not delete potentially empty pointers.

---
 CLTool/src/clunix.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/CLTool/src/clunix.cpp b/CLTool/src/clunix.cpp
index b4b770f..b6b5675 100644
--- a/CLTool/src/clunix.cpp
+++ b/CLTool/src/clunix.cpp
@@ -71,6 +71,7 @@ int main(int argc, char **argv) {
   CompressedImage *ci = CompressImage(file, settings);
 
   // Cleanup 
-  delete ci;
+  if(NULL != ci)
+    delete ci;
   return 0;
 }