#!/bin/sh

$1 < theories/src/mk_integer.sml
