diff --git a/encodings/meta-sequential-incremental.lp b/encodings/sequential-incremental.lp
similarity index 100%
rename from encodings/meta-sequential-incremental.lp
rename to encodings/sequential-incremental.lp