From 42b665f2a00643c81b42932fab1441987628c5a5 Mon Sep 17 00:00:00 2001 From: Liana Hadarean Date: Tue, 26 Jan 2016 16:04:26 -0800 Subject: Merged bit-vector and uf proof branch. --- proofs/signatures/th_arrays.plf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'proofs/signatures/th_arrays.plf') diff --git a/proofs/signatures/th_arrays.plf b/proofs/signatures/th_arrays.plf index 0c6b16048..8334f51de 100755 --- a/proofs/signatures/th_arrays.plf +++ b/proofs/signatures/th_arrays.plf @@ -3,7 +3,7 @@ ; Theory of Arrays ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -; depdends on : th_base.plf +; depends on : th_base.plf ; sorts -- cgit v1.2.3