Fixed #1

uds-psl · Oct 16, 2020 · 82394a0 · 82394a0
1 parent a17a095
commit 82394a0
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 } }