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