From 4f16d98c0601e7b7285bc3cad9f1943fbaded150 Mon Sep 17 00:00:00 2001 From: Markus Alexander Kuppe Date: Sat, 5 Mar 2022 12:09:19 -0800 Subject: [PATCH] Remove unused extends. [Refactor] --- general-model/cosmos_client.tla | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/general-model/cosmos_client.tla b/general-model/cosmos_client.tla index 86b147a..33ac263 100644 --- a/general-model/cosmos_client.tla +++ b/general-model/cosmos_client.tla @@ -6,7 +6,7 @@ (* the protocol implementation. *) (***************************************************************************) -EXTENDS Naturals, Integers, Reals, Sequences, FiniteSets, TLC +EXTENDS Integers, Sequences, FiniteSets, TLC (***************************************************************************) (* Number of regions *)