1 files changed, 5 insertions, 3 deletions
diff --git a/src/simplify/subsumption.cc b/src/simplify/subsumption.cc
index 3756d82..0038ad1 100644
--- a/src/simplify/subsumption.cc
+++ b/src/simplify/subsumption.cc
@@ -18,16 +18,18 @@
 
 #include "atp/simplify/subsumption.h"
 
+#include "atp/core/clause.h"
+
 namespace atp {
 
 bool subsumes(const Clause& general, const Clause& specific) {
     if (general.size() > specific.size()) {
         return false;
     }
-    for (const auto& lit_g : general.literals) {
+    for (const auto& lit_g : general.literals_) {
         bool found = false;
-        for (const auto& lit_s : specific.literals) {
-            if (lit_g.atom == lit_s.atom && lit_g.is_positive == lit_s.is_positive) {
+        for (const auto& lit_s : specific.literals_) {
+            if (lit_g.atom_ == lit_s.atom_ && lit_g.is_positive_ == lit_s.is_positive_) {
                 found = true;
                 break;
             }