revert modelator directory configuration

This reverts commit 40982b6.
informalsystems · Nov 30, 2021 · 38b9ab7 · 38b9ab7
1 parent 2a4ddc4
commit 38b9ab7
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.changelog/unreleased/improvements/rust/135-bump-apalache.md b/.changelog/unreleased/improvements/rust/135-bump-apalache.md