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

#!/bin/sh
set -e

$coqc -R misc/7595 Test misc/7595/base.v
$coqc -R misc/7595 Test misc/7595/FOO.v