From 1c23876a4e01887875954eb55e7a42d66fbf1034 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Thu, 27 Apr 2017 13:27:13 -0700
Subject: [PATCH] [absint] BottomLiftedDomain should satisfy WithBottom
 signature

Reviewed By: jeremydubreil

Differential Revision: D4963814

fbshipit-source-id: 517fb5e
---
 infer/src/checkers/AbstractDomain.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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. *)