Ignore:
Timestamp:
Dec 1, 2010, 11:27:04 PM (9 years ago)
Author:
sacerdot
Message:
  • stupid bug fixed in BitVectorTrie?
  • dependencies minimized, dead code removed
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/BitVectorTrie.ma

    r352 r357  
    11include "BitVector.ma".
    2 (*include "Compare.ma".*)
    32include "Bool.ma".
    43include "Maybe.ma".
     
    2423        | Node h l r ⇒
    2524           match hd with
    26              [ true ⇒ λK. lookup A h (tl⌈h ↦ o⌉) l a
    27              | false ⇒ λK. lookup A h (tl⌈h ↦ o⌉) r a
     25             [ true ⇒ λK. lookup A h (tl⌈h ↦ o⌉) r a
     26             | false ⇒ λK. lookup A h (tl⌈h ↦ o⌉) l a
    2827             ]
    2928        | Stub s ⇒ λ_. a
Note: See TracChangeset for help on using the changeset viewer.