diff --git a/.gitignore b/.gitignore
index ee3593bd32528d7b5e40d1c456adf5786e508d0e..e51be4e98184794797f37b115e34e10c3789a1ee 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,3 @@
-# Ignore generated top files
-top.lp
+*.lpo
 log-lp.txt
 log-lsp.txt