#!/bin/sh

(cd theories/src; $1 < mk_pred_set.sml)
