Merge pull request #675 from GaloisInc/remove-test444

Revert "Add regression test for #444."
GaloisInc · Dec 17, 2019 · 1ce2ef2 · 1ce2ef2
2 parents ce6f1ed + 3281e7c
commit 1ce2ef2
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 19 deletions.
diff --git a/tests/issues/issue444.icry b/tests/issues/issue444.icry
diff --git a/tests/issues/issue444.icry.stdout b/tests/issues/issue444.icry.stdout