[debug] fix toplevel init script

Summary: `./infer/scripts/infer_repl` was trying to load the defunct `Nullsafe` module. Reviewed By: ngorogiannis Differential Revision: D57273753 fbshipit-source-id: 93de6d6a1be1c8651cf145b01df781a0a53037cf
jeremydubreil · May 13, 2024 · 360861c · 360861c
1 parent 504b807
commit 360861c
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/scripts/toplevel_init b/scripts/toplevel_init
@@ -25,7 +25,6 @@ open IR;;
 open Absint;;
 open Biabduction;;
 open BO;;
-open Nullsafe;;
 open Pulselib;;
 open Checkers;;
 open Costlib;;