From 0bc909a17433ad2f97af54af64dd0c6f40e1c6a9 Mon Sep 17 00:00:00 2001
From: matt rice <ratmice@gmail.com>
Date: Tue, 10 Apr 2018 12:09:40 -0700
Subject: [PATCH] Update batch.mlp size headers after the removal of
 main/*license.sml

---
 src/batch.mlp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/batch.mlp b/src/batch.mlp
index 586058cb..b68fc406 100755
--- a/src/batch.mlp
+++ b/src/batch.mlp
@@ -1,9 +1,9 @@
 MLWorks 2.0
-batch.mlp 661 7
+batch.mlp 658 7
   AboutInfo 2 2
     Version 0 0
     Description 0 0
-  Files 407 0
+  Files 404 0
     utils/mlworks_exit.sml
     dependency/__ordered_set.sml
     dependency/__module_name.sml