git stage is sometimes difficult to get right.

tlaplus · Feb 11, 2020 · 5b2f3c8 · 5b2f3c8
1 parent 194717b
commit 5b2f3c8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/modules/IOUtils.tla b/modules/IOUtils.tla
@@ -1,6 +1,7 @@
 ------------------------------ MODULE IOUtils ------------------------------
 
 LOCAL INSTANCE TLC
+LOCAL INSTANCE Integers
   (*************************************************************************)
   (* Imports the definitions from the modules, but doesn't export them.    *)
   (*************************************************************************)