Skip to content
Snippets Groups Projects
Commit 386c2d7f authored by Sylvain Henry's avatar Sylvain Henry Committed by Marge Bot
Browse files

Use UnitId in the backend instead of Unit 

In Cmm we can only have real units identified with an UnitId.  Other
units (on-the-fly instantiated units and holes) are only used in
type-checking backpack sessions that don't produce Cmm.
parent e91ddddd
No related branches found
No related tags found
No related merge requests found
Pipeline #25999 passed with warnings
Stage: lint
    Stage: quick-build
      Stage: build
        Stage: full-build
          Stage: packaging
            Stage: testing
              Stage: deploy
                Hide whitespace changes
                Inline Side-by-side
                0% or .
                You are about to add 0 people to the discussion. Proceed with caution.
                Finish editing this message first!
                Please register or to comment