diff options
Diffstat (limited to 'test/example/stack-utils.txt')
-rw-r--r-- | test/example/stack-utils.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/example/stack-utils.txt b/test/example/stack-utils.txt index a61ed9ac5..d24119aab 100644 --- a/test/example/stack-utils.txt +++ b/test/example/stack-utils.txt @@ -14,4 +14,5 @@ ;; Test stack signatures ;; Test stack signature composition ;; Test stack signature subtyping +;; Test stack signature lub ;; Test stack flow |