Merge pull request #2 from fakusb/fix-async

Fixed #1
uds-psl · Nov 16, 2020 · bdddabe · bdddabe
2 parents a17a095 + 82394a0
commit bdddabe
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/smpl.mlg b/src/smpl.mlg
@@ -234,9 +234,10 @@ let rec is_opt_set opt opts =
 	       else is_opt_set opt opts
   | [] -> None
 
+let classify_smpl_create _ = Vernacextend.VtSideff ([], Vernacextend.VtNow)
 }
 
-VERNAC COMMAND EXTEND SmplCreate CLASSIFIED AS SIDEFF
+VERNAC COMMAND EXTEND SmplCreate CLASSIFIED BY {classify_smpl_create}
    | [ "Smpl" "Create" preident(db) smpl_opts(opts) ] ->
       { smpl_create db { queue = [];
 			 progress_default = bool_unopt (is_opt_set "progress" opts) false } }