Silence several warnings (missing _ in records, unused variables).
authorKim Nguyễn <kn@lri.fr>
Tue, 5 Mar 2013 00:35:44 +0000 (01:35 +0100)
committerKim Nguyễn <kn@lri.fr>
Tue, 5 Mar 2013 00:42:21 +0000 (01:42 +0100)
commita3d6ecbcea379fa51785848a5b8b53bca4e4bdd2
treebb0c8d9e7592f1f67f0769419b4c4558860ca22b
parentf749a3e33d759fddef63a69e54ff1336411d5e16
Silence several warnings (missing _ in records, unused variables).
src/auto/ata.ml
src/tree/naive.ml
src/utils/finiteCofinite.ml
src/utils/pretty.ml
src/utils/ptset.ml