diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -4,7 +4,11 @@
 
 ## Released changes
 
-### 0.6.1
+### 0.6.0.2
+
+- ignore finalizer warnings
+
+### 0.6.0.1
 
 - fix bug on different State 0 entry response
 
diff --git a/call-alloy.cabal b/call-alloy.cabal
--- a/call-alloy.cabal
+++ b/call-alloy.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           call-alloy
-version:        0.6.0.1
+version:        0.6.0.2
 synopsis:       A simple library to call Alloy given a specification
 description:    Please see the README on GitHub at <https://github.com/marcellussiegburg/call-alloy#readme>
 category:       Language
diff --git a/src/Language/Alloy/Internal/Call.hs b/src/Language/Alloy/Internal/Call.hs
--- a/src/Language/Alloy/Internal/Call.hs
+++ b/src/Language/Alloy/Internal/Call.hs
@@ -332,6 +332,8 @@
   = removeInfoLines xs
   | Just _ <- BS.stripPrefix "[main] WARN" x
   = removeInfoLines xs
+  | Just _ <- BS.stripPrefix "[Finalizer] WARN" x
+  = removeInfoLines xs
   | x == partialInstance
   = removeInfoLines xs
 removeInfoLines xs = xs
diff --git a/src/Language/Alloy/Parser.hs b/src/Language/Alloy/Parser.hs
--- a/src/Language/Alloy/Parser.hs
+++ b/src/Language/Alloy/Parser.hs
@@ -92,7 +92,7 @@
         )
       <*> entries
     entries =
-      many entry
+      many (try entry)
       <* many alloyInfo
       <* eof'
     alloyInfo =