diff options
| author | Karen Arutyunov <karen@codesynthesis.com> | 2021-12-09 15:47:34 +0300 |
|---|---|---|
| committer | Karen Arutyunov <karen@codesynthesis.com> | 2021-12-09 15:47:34 +0300 |
| commit | d259750511b3c2aaeace49f8ccb1d7f3ad561452 (patch) | |
| tree | 9a98e1a2a66fc8a25dc1b58efd2e7e0e77201914 /mod/page.cxx | |
| parent | 4bc9390c48cee736917ead5d20aa216fe10bae47 (diff) | |
Prepare for supporting multiple ids in requirement alternative
Diffstat (limited to 'mod/page.cxx')
| -rw-r--r-- | mod/page.cxx | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/mod/page.cxx b/mod/page.cxx index af9c795..fb6ba90 100644 --- a/mod/page.cxx +++ b/mod/page.cxx @@ -553,7 +553,9 @@ namespace brep if (&ra != &ras[0]) s << " | "; - s << ra; + assert (ra.size () == 1); // @@ DEP + + s << ra[0]; } if (mult) |