[cvc4] 02/03: Remove useless dh-autoreconf build dependency

[Fabian Wolff]

This is an automated email from the git hooks/post-receive script.

fw-guest pushed a commit to branch master
in repository cvc4.

commit fa0834f3efff4630f297ef682a666d916234530b
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date:   Sat Jul 29 00:31:18 2017 +0200

    Remove useless dh-autoreconf build dependency
---
 debian/control | 1 -
 1 file changed, 1 deletion(-)

diff --git a/debian/control b/debian/control
index ae8117e..9027ff6 100644
--- a/debian/control
+++ b/debian/control
@@ -4,7 +4,6 @@ Uploaders: Fabian Wolff <fabi.wolff at arcor.de>
 Section: math
 Priority: optional
 Build-Depends: debhelper (>= 10),
-               dh-autoreconf,
                libgmp-dev,
                libantlr3c-dev,
                libboost-thread-dev,

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/cvc4.git