[fix] bsl: Don't clear built-in plugin

MLstate · Sep 5, 2012 · 1ab9d85 · 1ab9d85
1 parent 653a053
commit 1ab9d85
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/compiler/libbsl/bslPluginTable.ml b/compiler/libbsl/bslPluginTable.ml
@@ -42,7 +42,11 @@ let private_last_finalize = ref None
 let pp_item fmt t = Format.pp_print_string fmt (ItemPlugin.index t)
 
 let clear () =
+  let x =
+    Hashtbl.find_opt table None
+  in
   Hashtbl.clear table;
+  Option.iter (fun plugin -> Hashtbl.add table None plugin) x;
   private_last_finalize := None
 
 let finalize () =