Added comment in spec.

yugr · Jan 24, 2025 · a990595 · a990595
1 parent 96879fd
commit a990595
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/specs/Init.pml b/specs/Init.pml
@@ -94,6 +94,7 @@ recurse:
 
             // We have finished library init, return to caller
             :: else -> {
+              // For more complex behaviors we'll need to store return adddress
               lib_state = LOADED
               goto return_from_recurse
             }