Changeset 2036


Ignore:
Timestamp:
Jun 8, 2012, 5:52:23 PM (5 years ago)
Author:
sacerdot
Message:

New daemon inserted because /demod/ got worst :-(

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Interpret.ma

    r2032 r2036  
    953953    try (@or_intror //)
    954954    try (#_ /demod/ %)
    955     try (#_ //)   
     955    try (#_ //)
     956    cases daemon (* WAS WORKING, /demod/ PROBLEMS
    956957    [ <set_arg_8_ok @or_introl //
    957     |*: <set_arg_1_ok @or_introl // ]
     958    |*: <set_arg_1_ok @or_introl // ]*)
    958959qed.
    959960
Note: See TracChangeset for help on using the changeset viewer.