diff --git a/configure.in b/configure.in index cd577465..b87f00a7 100644 --- a/configure.in +++ b/configure.in @@ -675,7 +675,7 @@ if test "$enable_guile" = "yes"; then cat <