• Dan Frumin's avatar
    Fix [tp_alloc] · 94117113
    Dan Frumin authored
    Previously [tp_alloc] would just delete [j \Mapsto fill K (Alloc e)]
    from the context without a replacement.
    94117113
tactics.v 32.4 KB