From 0fb4442a8208ccc36067db034c12a840095c0911 Mon Sep 17 00:00:00 2001
From: Bruno Schmitt <bruno@oschmitt.com>
Date: Mon, 6 Feb 2017 19:50:57 -0800
Subject: Small changes to support old compilers.

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

(limited to 'src/base')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index efb82fcc..65974acb 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -23357,7 +23357,7 @@ int Abc_CommandSatoko( Abc_Frame_t * pAbc, int argc, char ** argv )
         int status;
 
         satoko_parse_dimacs( pFileName, &p );
-    satoko_configure(p, &opts);
+        satoko_configure(p, &opts);
 
         clk = Abc_Clock();
         status = satoko_solve( p );
-- 
cgit v1.2.3