[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-14-gf05c0c6

[Hendrik Tews]

The following commit has been merged in the master branch:
commit f05c0c6a54253ff91946c169edd991fb288b5700
Author: Hendrik Tews <hendrik at askra.de>
Date:   Mon Mar 26 10:04:01 2012 +0200

    reenable test

diff --git a/debian/test-hol-light b/debian/test-hol-light
index a586668..958682c 100755
--- a/debian/test-hol-light
+++ b/debian/test-hol-light
@@ -16,7 +16,7 @@ function holtest() {
     fi
 }
 
-#holtest Library/agm.ml
+holtest Library/agm.ml
 # holtest Library/binary.ml
 # holtest Library/binomial.ml
 # holtest Library/card.ml

-- 
hol-light packaging