From d42a5410c95e6cd4085ad357b4b99978d95a9436 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 5 Jan 2020 21:53:19 -0800
Subject: [PATCH] na

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

diff --git a/src/sat/sat_aig_finder.h b/src/sat/sat_aig_finder.h
index 4a5784cc9..5a0ccb254 100644
--- a/src/sat/sat_aig_finder.h
+++ b/src/sat/sat_aig_finder.h
@@ -23,7 +23,7 @@
     AIG finder
   --*/
 
-#pragma once;
+#pragma once
 
 #include "util/params.h"
 #include "util/statistics.h"