Skip to content
This repository has been archived by the owner on May 18, 2019. It is now read-only.

[NF] Fix flattening of bindings. #2455

Closed
wants to merge 1 commit into from
Closed

[NF] Fix flattening of bindings. #2455

wants to merge 1 commit into from

Commits on May 22, 2018

  1. [NF] Fix flattening of bindings. 

    - Use flattenExp when flattening bindings, so any crefs in the binding
  gets the correct subscripts.
    @perost
    perost committed May 22, 2018
    Configuration menu
    Copy the full SHA
    027dfa4 View commit details
    Browse the repository at this point in the history