From 38d6771a5ef43568ce30d756620c51c587c0f8ff Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 22 Jun 2020 12:23:36 -0700
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/top_sort.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/top_sort.h b/src/util/top_sort.h
index f529d8a44..a743ee78f 100644
--- a/src/util/top_sort.h
+++ b/src/util/top_sort.h
@@ -69,7 +69,7 @@ class top_sort {
                 } 
                 while (s_f != f);
                 m_stack_P.pop_back();
-        }
+            }
         }
     }