Changeset 2117


Ignore:
Timestamp:
Jun 27, 2012, 12:04:23 PM (5 years ago)
Author:
campbell
Message:

Workaround for bug in Matita.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Globalenvs.ma

    r2107 r2117  
    642642[ 2: @iV
    643643| #f' * #FFP'
     644  whd in ⊢ (???(match % with [_⇒?]) → ?);  (* XXX this line only required to workaround unification bug *)
    644645  generalize in match (matching_vars ????);
    645646  whd in match (prog_var_names ???); whd in match (prog_vars ???);
Note: See TracChangeset for help on using the changeset viewer.