remove unneeded pragma

Z3Prover · Aug 26, 2020 · e6e635b · e6e635b
1 parent 21e13bc
commit e6e635b
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/ast/euf/euf_enode.cpp b/src/ast/euf/euf_enode.cpp
@@ -17,8 +17,6 @@ Module Name:
 
 #include "ast/euf/euf_enode.h"
 
-#pragma once
-
 namespace euf {
 
     void enode::invariant() {