Remove #pragma once

mgudemann · mgudemann · commit 5d973ebd8101 · 2025-03-27T18:06:07.000+01:00
diff --git a/src/ic3/aux_types.hh b/src/ic3/aux_types.hh
@@ -6,8 +6,6 @@ Author: Eugene Goldberg, eu.goldberg@gmail.com
 
 ******************************************************/
 
-#pragma once
-
 #include <queue>
 #include <string>
 
diff --git a/src/ic3/dnf_io.hh b/src/ic3/dnf_io.hh
@@ -7,7 +7,8 @@ Author: Eugene Goldberg, eu.goldberg@gmail.com
 
 ******************************************************/
 
-#pragma once
+#ifndef DNF_IO_HH
+#define DNF_IO_HH
 
 #include <deque>
 #include <iosfwd>
@@ -73,4 +74,4 @@ void print_srt_dnf(DNF &D);
 void fprint_srt_dnf(DNF &D,char *fname);
 void fprint_srt_dnf(DNF &D,const char *fname);
 
-
+#endif
diff --git a/src/ic3/seq_circ/ccircuit.hh b/src/ic3/seq_circ/ccircuit.hh
@@ -7,8 +7,6 @@ Author: Eugene Goldberg, eu.goldberg@gmail.com
 
 ******************************************************/
 
-#pragma once
-
 #include "dnf_io.hh"
 
 struct ConstrGateInfo {
