disable obsolete test

git-svn-id: svn+ssh://inria/var/lib/svn/repository/tla@34690 76a6fc44-f60b-0410-a9a8-e67b0e8fc65c
tlaplus · Dec 8, 2017 · 85803b8 · 85803b8
1 parent 7f2934d
commit 85803b8
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/test/fast/fingerprint/load_v9_test.tla → ...ast/fingerprint/load_v9_test.tla.disabled b/test/fast/fingerprint/load_v9_test.tla → ...ast/fingerprint/load_v9_test.tla.disabled