From 652a0aaef7804280eb2a9721d7e85dda946543ac Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 20 Oct 2023 22:42:40 -0700
Subject: [PATCH] Compiler warning.

---
 src/base/abci/abc.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 43207c887..f93d03ff0 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -7186,6 +7186,7 @@ int Abc_CommandRunSat( Abc_Frame_t * pAbc, int argc, char ** argv )
     FILE * pFile = NULL;
     char * pFileCnf = NULL;
     int c, i, fWalk = 0, fKissat = 0, nIters = 10, fVerbose = 0;
+    abctime clk;
     Extra_UtilGetoptReset();
     while ( ( c = Extra_UtilGetopt( argc, argv, "Ikwvh" ) ) != EOF )
     {
@@ -7230,7 +7231,7 @@ int Abc_CommandRunSat( Abc_Frame_t * pAbc, int argc, char ** argv )
         return 1;
     }
     fclose( pFile );
-    abctime clk = Abc_Clock();
+    clk = Abc_Clock();
     for ( i = 0; i < nIters; i++ ) {
         char pCommand[1000];
         if ( fKissat )