Remove unused extends.

[Refactor]
Azure · Mar 6, 2022 · 4f16d98 · 4f16d98
1 parent 04ed750
commit 4f16d98
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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                                                       *)