From 360861ce293fa58edfe976024a25e1961c266ba0 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@meta.com>
Date: Mon, 13 May 2024 05:49:38 -0700
Subject: [PATCH] [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
---
 scripts/toplevel_init | 1 -
 1 file changed, 1 deletion(-)

diff --git a/scripts/toplevel_init b/scripts/toplevel_init
index 47b0e3181fc..ba6f7f38815 100644
--- 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;;