Cleaning

SMT-LIB · Oct 23, 2023 · 65ca387 · 65ca387
1 parent 87414b1
commit 65ca387
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/SSI-free.sh b/SSI-free.sh
@@ -1,7 +1,6 @@
 #!/bin/bash
 
 src=virtual
-dst=SSI-free
 
 replace() {
     IFS=