#!/bin/sh
## This file is automatically generated by ../install.sh

/home/nardine/mc/XSB/bin/xsb -e "consult('/home/nardine/mc/lcc_mcid/mcid/verification')." $*
