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

#!/usr/bin/env bash

$coqc misc/13330/bug_13330.v
R=$?

if [ $R == 0 ]; then
  exit 1
else
  exit 0
fi