Merge pull request #448 from diffblue/AIG_HEADER

Fix two include header guards

Author: tautschnig

src/trans-netlist/aig.h

@@ -9,8 +9,8 @@ Author: Daniel Kroening, [email protected]
 /// \file
 /// AND-Inverter Graph
 
-#ifndef CPROVER_SOLVERS_PROP_AIG_H
-#define CPROVER_SOLVERS_PROP_AIG_H
+#ifndef CPROVER_TRANS_NETLIST_AIG_H
+#define CPROVER_TRANS_NETLIST_AIG_H
 
 #include <map>
 #include <set>
@@ -101,4 +101,4 @@ class aig_plus_constraintst : public aigt {
   }
 };
 
-#endif // CPROVER_SOLVERS_PROP_AIG_H
+#endif // CPROVER_TRANS_NETLIST_AIG_H

src/trans-netlist/aig_prop.h

@@ -6,8 +6,8 @@ Author: Daniel Kroening, [email protected]
 
 \*******************************************************************/
 
-#ifndef CPROVER_SOLVERS_PROP_AIG_PROP_H
-#define CPROVER_SOLVERS_PROP_AIG_PROP_H
+#ifndef CPROVER_TRANS_NETLIST_AIG_PROP_H
+#define CPROVER_TRANS_NETLIST_AIG_PROP_H
 
 #include <cassert>
 
@@ -112,4 +112,4 @@ class aig_prop_solvert : public aig_prop_constraintt {
                     std::vector<unsigned> &n_usage_count);
 };
 
-#endif // CPROVER_SOLVERS_PROP_AIG_PROP_H
+#endif // CPROVER_TRANS_NETLIST_AIG_PROP_H