From 266529fa1271a942920845072efb588c64c4aba3 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Tue, 28 May 2024 17:31:18 +0200
Subject: unexpected behavior of vampire

The task topological behavior is proofed in seconds by just vampire, but with mode casc it takes plenty seconds
---
 .gitignore | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 49c3120..cd7aa0f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -41,6 +41,6 @@ premseldump/
 haddocks/
 stack.yaml.lock
 zf*.svg
-Anmerkungen.txt
-vampire-taks-with-not-expacted-behavoir/
+
+
 
-- 
cgit v1.2.3