Fix privPrecCompare.ml being .gitignored

sim642 · sim642 · commit 45b2269ca56b · 2022-05-17T15:40:52.000+03:00
diff --git a/.gitignore b/.gitignore
@@ -53,7 +53,9 @@ goblint.bc.js
 
 sv-comp/goblint.zip
 
-privPrecCompare*
+privPrecCompare
+privPrecCompare-creduce
+privPrecCompareRes
 apronPrecCompare
 messagesCompare
 tests/regression/*/run
