Trim .gitignore

runtimeverification · Nov 9, 2024 · 8813a85 · 8813a85
1 parent c7e5c0a
commit 8813a85
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -1,6 +1,5 @@
 .build
 module-imports-graph.svg
-tests/specs/verification-kompiled/*
 .krun*
 kimp/.kprove*
 .kimp