-- Logical version of the piece used for designing puzzles for portals only.


deferred class DESIGN_PORTAL

inherit

  PORTAL -- Common code
  end

  DESIGN_PIECE
  end

feature

end