diff --git a/scripts/toplevel_init b/scripts/toplevel_init
index fd69d5ba184..2053646651d 100644
--- a/scripts/toplevel_init
+++ b/scripts/toplevel_init
@@ -13,6 +13,7 @@
 #require "ocamlgraph";;
 #require "ppx_compare";;
 #require "ppx_fields_conv";;
+#require "re";;
 #require "sawja";;
 #require "sqlite3";;
 #require "xmlm";;