Index: trunk/doc/design/07_devmap.html =================================================================== --- trunk/doc/design/07_devmap.html (revision 317) +++ trunk/doc/design/07_devmap.html (revision 318) @@ -71,8 +71,8 @@ in_plus (not present) positive input pin in_minus (not present) negative input pin out (not present) output pin - v_plus "yes" positive power rail - v_minus "yes" negative power rail + v_plus "yes" positive power rail + v_minus "yes" negative power rail

{des7:10}