diff --git a/infer/src/checkers/AbstractDomain.mli b/infer/src/checkers/AbstractDomain.mli
index caae8dd66..9c5dbbb50 100644
--- a/infer/src/checkers/AbstractDomain.mli
+++ b/infer/src/checkers/AbstractDomain.mli
@@ -40,7 +40,7 @@ module BottomLifted (Domain : S) : sig
     | Bottom
     | NonBottom of Domain.astate
 
-  include S with type astate := astate
+  include WithBottom with type astate := astate
 end
 
 (** Cartesian product of two domains. *)