diff --git a/smlfmt b/smlfmt deleted file mode 100755 index 065836f..0000000 Binary files a/smlfmt and /dev/null differ