From 36da1c828d0c36090b1fa1f9da06b587bdb6a048 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 5 Jan 2020 17:59:41 -0800
Subject: [PATCH] say no to the pramgas

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/sat_aig_finder.cpp     | 2 --
 src/sat/sat_aig_simplifier.cpp | 2 --
 2 files changed, 4 deletions(-)

diff --git a/src/sat/sat_aig_finder.cpp b/src/sat/sat_aig_finder.cpp
index c4a96a0f9..162ee9045 100644
--- a/src/sat/sat_aig_finder.cpp
+++ b/src/sat/sat_aig_finder.cpp
@@ -15,8 +15,6 @@
 
   --*/
 
-#pragma once;
-
 #include "sat/sat_aig_finder.h"
 
 namespace sat {
diff --git a/src/sat/sat_aig_simplifier.cpp b/src/sat/sat_aig_simplifier.cpp
index 1ae30d508..c71880869 100644
--- a/src/sat/sat_aig_simplifier.cpp
+++ b/src/sat/sat_aig_simplifier.cpp
@@ -16,8 +16,6 @@
 
   --*/
 
-#pragma once;
-
 #include "util/union_find.h"
 #include "sat/sat_aig_simplifier.h"
 #include "sat/sat_xor_finder.h"