aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/coq-makefile/template/src/test_aux.ml
blob: a01d0865a8978cadaf155f5031b79ddeb0a67c09 (plain)
1
let tac = Proofview.tclUNIT ()