[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
master
GaloisNeko 5 years ago committed by Facebook GitHub Bot
parent 1745bf9dd0
commit dd2222b861

@ -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`.

Loading…
Cancel
Save