Permalink
Browse files

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

  • Loading branch information...
1 parent 653a053 commit 1ab9d85eea4a535899818261bbcee46e8115b1ca @BourgerieQuentin BourgerieQuentin committed Sep 5, 2012
Showing with 4 additions and 0 deletions.
  1. +4 −0 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 () =

0 comments on commit 1ab9d85

Please sign in to comment.