Commit b519a0a9 authored by Michele Alberti's avatar Michele Alberti
Browse files

[ivette] Use dome pretty-printer for console messages.

parent 191942ef
......@@ -7,9 +7,12 @@
* @module frama-c/utils
*/
import * as Dome from 'dome';
import * as DomeBuffers from 'dome/text/buffers';
import * as KernelData from 'api/kernel/data';
const PP = new Dome.PP('Utils');
// --------------------------------------------------------------------------
// --- Print Utilities
// --------------------------------------------------------------------------
......@@ -44,6 +47,6 @@ export function printTextWithTags(
} else if (typeof contents === 'string') {
buffer.append(contents);
} else {
console.error('[Dome.buffers] Unexpected text', contents);
PP.error('Unexpected text', contents);
}
}
Markdown is supported
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