diff --git a/infer/src/backend/dune b/infer/src/backend/dune
index b1bc07bfd..c98d1191c 100644
--- a/infer/src/backend/dune
+++ b/infer/src/backend/dune
@@ -10,9 +10,9 @@
   (:standard
      -open Core -open InferStdlib -open IStd -open OpenSource -open InferGenerated
      -open InferBase -open InferIR -open Absint -open Biabduction -open Bo -open Nullsafe
-     -open Pulselib  -open Checkers -open Costlib -open Quandary -open TOPL
+     -open Pulselib  -open Checkers -open Costlib -open Quandary -open TOPLlib
      -open Concurrency -open Labs))
  (libraries core InferStdlib InferGenerated InferBase InferIR absint biabduction nullsafe bo
-            checkers costlib quandary TOPL concurrency labs)
+            checkers costlib quandary TOPLlib concurrency labs)
  (preprocess (pps ppx_compare ppx_fields_conv))
 )
diff --git a/infer/src/dune.in b/infer/src/dune.in
index 2f9abfcb9..9e41ea54e 100644
--- a/infer/src/dune.in
+++ b/infer/src/dune.in
@@ -59,7 +59,7 @@ let infer_cflags =
   ; "-open"
   ; "Quandary"
   ; "-open"
-  ; "TOPL"
+  ; "TOPLlib"
   ; "-open"
   ; "Concurrency"
   ; "-open"
@@ -110,7 +110,7 @@ let main_lib_stanza =
          ; "checkers"
          ; "costlib"
          ; "quandary"
-         ; "TOPL"
+         ; "TOPLlib"
          ; "concurrency"
          ; "labs"
          ; "backend" ] ))
diff --git a/infer/src/topl/dune b/infer/src/topl/dune
index c4c0670c3..7abe7e85a 100644
--- a/infer/src/topl/dune
+++ b/infer/src/topl/dune
@@ -8,8 +8,8 @@
 (menhir (flags --unused-token INDENT --explain) (modules ToplParser))
 
 (library
- (name TOPL)
- (public_name infer.TOPL)
+ (name TOPLlib)
+ (public_name infer.TOPLlib)
  (flags
   (:standard -open Core -open InferIR -open InferStdlib -open IStd -open InferGenerated
     -open InferBase -open Absint -open Biabduction))