From dd2222b861d64aa23869824d1a04435e31a2a3a2 Mon Sep 17 00:00:00 2001
From: GaloisNeko <11177488+GaloisNeko@users.noreply.github.com>
Date: Wed, 1 Jul 2020 09:01:11 -0700
Subject: [PATCH] [infer][PR] typo in TopLifted from infer lab

Summary:
Pretty sure it should be `TopLifted`
Pull Request resolved: https://github.com/facebook/infer/pull/1287

Reviewed By: ezgicicek

Differential Revision: D22334523

Pulled By: jvillard

fbshipit-source-id: 6a785a66d
---
 infer/src/labs/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/labs/README.md b/infer/src/labs/README.md
index 11031224e..ea198163d 100644
--- a/infer/src/labs/README.md
+++ b/infer/src/labs/README.md
@@ -110,7 +110,7 @@ Let's stick with just an integer domain to keep things simple until (5).
 - Hint: `AbstractDomain.TopLifted` may be useful for this. Just put all the code in ResourceLeakDomain.ml that corresponds to the signature `AbstractDomain.S` into a submodule `FiniteBounds`, then let `TopLifted` do all the lifting with
 
 ```OCaml
-include AbstractDomain.TopLifter (FiniteBounds)
+include AbstractDomain.TopLifted (FiniteBounds)
 ```
 
 - Hint#2: use `open AbstractDomain.Types` to be able to write, e.g., `Top` instead of `AbstractDomain.Top`.