Changeset 2005 for src/ASM/Util.ma


Ignore:
Timestamp:
May 29, 2012, 2:51:06 PM (7 years ago)
Author:
boender
Message:
  • minor changes to make things compile with a clean checkout
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Util.ma

    r1964 r2005  
    266266    [ nil ⇒ 〈〈[ ], left〉, 〈[ ], [ ]〉〉
    267267    | cons hd' tl' ⇒
    268       let 〈cleft, cright〉 ≝ reduce_strong A B tl tl' in
     268      let 〈cleft, cright〉 ≝ pi1 ?? (reduce_strong A B tl tl') in
    269269      let 〈commonl, restl〉 ≝ cleft in
    270270      let 〈commonr, restr〉 ≝ cright in
Note: See TracChangeset for help on using the changeset viewer.