remove pragma

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Aug 29, 2020 · a35d00e · a35d00e
1 parent 996905a
commit a35d00e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/sat/smt/euf_ackerman.cpp b/src/sat/smt/euf_ackerman.cpp
@@ -14,7 +14,6 @@ Module Name:
     Nikolaj Bjorner (nbjorner) 2020-08-28
 
 --*/
-#pragma once
 
 #include "sat/smt/euf_solver.h"
 #include "sat/smt/euf_ackerman.h"