From 04d1c4e476e9c5dff4fe0bb3461e4426962b9dfe Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 13 Jul 2012 16:35:52 -0700
Subject: Fixing compiler warning.

---
 src/proof/live/liveness_sim.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/proof/live/liveness_sim.c b/src/proof/live/liveness_sim.c
index 3a05ebf7..8b054b57 100644
--- a/src/proof/live/liveness_sim.c
+++ b/src/proof/live/liveness_sim.c
@@ -166,6 +166,7 @@ static char * retrieveLOName( Abc_Ntk_t *pNtkOld, Aig_Man_t *pAigOld, Aig_Man_t
     }
     else
         return "UNKNOWN";
+    return NULL;
 }
 
 extern Vec_Ptr_t *vecPis, *vecPiNames;
-- 
cgit v1.2.3