From 1fdc76d163291121d39f07378b03454c212258f3 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Tue, 8 Oct 2019 06:24:29 -0700 Subject: [PATCH] [sledge] Rename State_domain back to Sh_domain Summary: Now that the relation domain construction is factored out and generalized. Reviewed By: ngorogiannis Differential Revision: D17665253 fbshipit-source-id: eb156ce6b --- sledge/src/sledge.ml | 2 +- sledge/src/symbheap/{state_domain.ml => sh_domain.ml} | 0 sledge/src/symbheap/{state_domain.mli => sh_domain.mli} | 0 3 files changed, 1 insertion(+), 1 deletion(-) rename sledge/src/symbheap/{state_domain.ml => sh_domain.ml} (100%) rename sledge/src/symbheap/{state_domain.mli => sh_domain.mli} (100%) diff --git a/sledge/src/sledge.ml b/sledge/src/sledge.ml index c38360a76..a7933e77f 100644 --- a/sledge/src/sledge.ml +++ b/sledge/src/sledge.ml @@ -13,7 +13,7 @@ open Command.Let_syntax type 'a param = 'a Command.Param.t -module Sh_executor = Control.Make (Domain.Relation.Make (State_domain)) +module Sh_executor = Control.Make (Domain.Relation.Make (Sh_domain)) module Unit_executor = Control.Make (Domain.Unit) module Used_globals_executor = Control.Make (Domain.Used_globals) diff --git a/sledge/src/symbheap/state_domain.ml b/sledge/src/symbheap/sh_domain.ml similarity index 100% rename from sledge/src/symbheap/state_domain.ml rename to sledge/src/symbheap/sh_domain.ml diff --git a/sledge/src/symbheap/state_domain.mli b/sledge/src/symbheap/sh_domain.mli similarity index 100% rename from sledge/src/symbheap/state_domain.mli rename to sledge/src/symbheap/sh_domain.mli