compiler: a weird test case for #22

au-ts · Mar 6, 2018 · 7abf57f · 7abf57f
1 parent 898b658
commit 7abf57f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/impl/fs/ext2/cogent/src/dread.cogent b/impl/fs/ext2/cogent/src/dread.cogent
@@ -355,7 +355,7 @@ get_next_dirent_from_page2(#{acc = (ex, state, offset, prev_offset), obsv = (nam
         ((ex, state, offset, prev_offset), Return (None ()))
 
 check_matching_and_increment: Consumer Ext2DirEnt (Option Ext2DirEnt) U32 CheckMatchingDirentAcc CheckMatchingDirentObsv
-check_matching_and_increment(#{ obj = de, acc = (ex, state, offset, prev_offset), obsv = (name, offset_end, pagebuf)}) = 
+check_matching_and_increment #{ obj = de, acc = (ex, state, offset, prev_offset), obsv = (name, offset_end, pagebuf)} = 
     let de_reclen = de.record_length !de
     in if de_reclen /= 0 then
         let matched = ext2_match (name, de) !de