cleanup

src/coq_elpi_programs.ml

@@ -499,13 +499,12 @@ let get ?(fail_if_not_exists=false) p =
   let append_to_db name kname c =
     try
       let (db : db) = SLMap.find name !db_name_src in
-      if Names.KNset.mem kname db.units then (Printf.eprintf "skipping\n%!"; db)
+      if Names.KNset.mem kname db.units then db
       else { sources_rev = Chunk.snoc c db.sources_rev; units = Names.KNset.add kname db.units }
     with Not_found ->
     match c with
     | [] -> assert false
     | [base] ->
-        Printf.eprintf "base\n";
         { sources_rev = Chunk.Base { hash = hash_cunit base; base }; units = Names.KNset.singleton kname }
     | _ -> assert false
 
@@ -569,11 +568,8 @@ let get ?(fail_if_not_exists=false) p =
   let init_db qualid cmd_base init =
     match cmd_base with
     | File { fast = Full(_,base) } ->
-      Printf.eprintf "1\n";
-      Printf.eprintf "2\n";
       add_to_db qualid [init] [] Coq_elpi_utils.SuperGlobal;
       add_to_db qualid [Signature (EC.signature base)] [] Coq_elpi_utils.SuperGlobal;
-      Printf.eprintf "3\n";
     | _ -> assert false
 
   let init_file qualid init =