From 676dc44619c05b8d0d4abcdf991dc5c6104e8a5e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Mon, 15 Aug 2016 18:24:51 +0200
Subject: [PATCH] Updated meta encoding to new feature requirement format.

---
 encodings/sequential-incremental.lp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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.