Update src/rocq_elpi_vernacular.ml

Author: gares

src/rocq_elpi_vernacular.ml

@@ -251,15 +251,6 @@ let run_in_program ~loc ?(program = current_program ()) ?(st_setup=fun _ x -> x)
       P.accumulate_file_to_program ~loc ~program ~what ~file
     end
 
-      (* match what with
-      | Code -> P.units_from_file ~elpi ~loc ~base s
-      | Signature -> P.units_signature_from_file ~elpi ~loc ~base s in
-    if is_db then
-      P.accumulate_to_db program units [] ~scope
-    else begin
-      warn_scope_not_regular ~loc scope;
-      P.accumulate ~loc program (List.map (fun u -> File { fname = Rocq_elpi_programs.name_of_cunit u; fast = u}) units)
-    end *)
 
   let accumulate_elpifile ~loc ~program ~scope ~what ast =
     if P.db_exists program then