From a0309d10f311222c6f3757127dfe1c0bfd52e551 Mon Sep 17 00:00:00 2001 From: Michael Schwarz Date: Wed, 22 May 2024 14:16:32 +0200 Subject: [PATCH] Use `D.bot ()`for `startcontext`. Closes #1474 --- src/framework/analyses.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/framework/analyses.ml b/src/framework/analyses.ml index 930793b60f..4ef98358f4 100644 --- a/src/framework/analyses.ml +++ b/src/framework/analyses.ml @@ -427,7 +427,7 @@ end module ValueContexts (D:Lattice.S) = struct module C = D - let startcontext () = D.top () + let startcontext () = D.bot () end module type SpecSys =