diff options
Diffstat (limited to '065duplex_list.mu')
-rw-r--r-- | 065duplex_list.mu | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/065duplex_list.mu b/065duplex_list.mu index 65cb9592..0b0a47c5 100644 --- a/065duplex_list.mu +++ b/065duplex_list.mu @@ -73,7 +73,6 @@ scenario duplex-list-handling [ 4:address:duplex-list <- prev-duplex 4:address:duplex-list 13:number <- first-duplex 4:address:duplex-list 14:boolean <- equal 3:address:duplex-list, 4:address:duplex-list -#? $dump-trace #? 1 ] memory-should-contain [ 0 <- 0 # no modifications to null pointers |