topic: Flash support for Pic32mx1xx/2xx
[fw/openocd] / src / flash / mflash.c
index 3d927c4549375349ccb3423a43c7093d4d8de724..bf61a11495fdf3d319bea530eb4f1a58072230d5 100644 (file)
@@ -1395,7 +1395,7 @@ COMMAND_HANDLER(mg_bank_cmd)
 
        mflash_bank = calloc(sizeof(struct mflash_bank), 1);
        COMMAND_PARSE_NUMBER(u32, CMD_ARGV[1], mflash_bank->base);
-       /* / @todo Verify how this parsing should work, then document it. */
+       /** @todo Verify how this parsing should work, then document it. */
        char *str;
        mflash_bank->rst_pin.num = strtoul(CMD_ARGV[2], &str, 0);
        if (*str)