diff --git a/encodings/sequential-incremental.lp b/encodings/sequential-incremental.lp
index 59a99f4..7e1e2f0 100644
--- a/encodings/sequential-incremental.lp
+++ b/encodings/sequential-incremental.lp
@@ -1,9 +1,9 @@
 #include <incmode>.
 
 % Check feature requirements
-:- requiresFeature(actionCosts).
-:- requiresFeature(axiomRules).
-:- requiresFeature(conditionalEffects).
+:- requires(feature(actionCosts)).
+:- requires(feature(axiomRules)).
+:- requires(feature(conditionalEffects)).
 
 #program base.