Updating: very very minorly

githwxi · Sep 13, 2016 · d28486e · d28486e
1 parent 7775fd7
commit d28486e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/utils/libatsopt/DATS/libatsopt_ext.dats b/utils/libatsopt/DATS/libatsopt_ext.dats
@@ -212,6 +212,7 @@ fun
 patsopt_main:
   (int, ptr) -> void =
   "ext#libatsopt_patsopt_main"
+//
 in
 //
 try let