From 89ba584531115b7f6d47088d7614368ea05ab9d8 Mon Sep 17 00:00:00 2001 From: Guy Date: Wed, 1 Jun 2016 17:33:41 -0700 Subject: Merging proof branch --- test/regress/regress0/aufbv/Makefile.am | 1 - 1 file changed, 1 deletion(-) (limited to 'test/regress') diff --git a/test/regress/regress0/aufbv/Makefile.am b/test/regress/regress0/aufbv/Makefile.am index 38b58cedd..38705c22a 100644 --- a/test/regress/regress0/aufbv/Makefile.am +++ b/test/regress/regress0/aufbv/Makefile.am @@ -22,7 +22,6 @@ TESTS = \ bug00.smt \ bug338.smt2 \ bug347.smt \ - bug348.smt \ bug451.smt \ bug509.smt \ bug580.smt2 \ -- cgit v1.2.3