Commit 5ed40517206f840f4aa8e6da63e20f8ef622867a
2023-11-22T18:23:27
ignore history file
diff --git a/.gitignore b/.gitignore
index 943ef38..f71f333 100644
--- a/.gitignore
+++ b/.gitignore
@@ -50,6 +50,7 @@ test/facts_test_log_remove.facts
test/facts_test_open_file.1.facts
test/facts_test_open_file.3.facts
test/facts_test_save.facts
+test/ic3/.ic3_history
test/ic3/*.diff
test/ic3/*.err
test/ic3/*.out