path: root/test-suite/misc/11170.sh

#!/usr/bin/env bash

set -e

export PATH=$BIN:$PATH
export OCAMLRUNPARAM=s=1

${coqc#"$BIN"} misc/aux11170.v