From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 5 Jul 2010 23:02:05 +0000 (+0000)
Subject: better exception wording, assertion-handling in multiple-exception case; resolves... 
X-Git-Tag: cvc5-1.0.0~8944
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7e5350af64249deef6adcef1b6d425693e7acf5a;p=cvc5.git

better exception wording, assertion-handling in multiple-exception case; resolves bug 175.  also newer URL for config/pkg.m4
---

diff --git a/config/pkg.m4 b/config/pkg.m4
index c29b6c057..0048a3fa0 100644
--- a/config/pkg.m4
+++ b/config/pkg.m4
@@ -146,7 +146,7 @@ path to pkg-config.
 
 _PKG_TEXT
 
-To get pkg-config, see <http://www.freedesktop.org/software/pkgconfig>.])],
+To get pkg-config, see <http://pkg-config.freedesktop.org/>.])],
 		[$4])
 else
 	$1[]_CFLAGS=$pkg_cv_[]$1[]_CFLAGS