Fixing compiler warning.

04d1c4e4 · Alan Mishchenko · 3fb103da · 04d1c4e4
Commit 04d1c4e4 authored Jul 13, 2012 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/proof/live/liveness_sim.c
+1 -0

No files found.
--- 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;