#!/bin/sh

$1 < theories/src/mk_string_lib.sml
