bind-html="error.text | ctestNonXmlCharEscape | terminalColors:false | trustAsHtml"></pre>
      </b>
      <pre ng-if="error.postcontext" class="compiler-output" ng-bind-html="error.postcontext | ctestNonXmlCharEscape | terminalColors:false | trustAsHtml"></pre>
    </td>
  </tr>

  <tr ng-if="error.sourcefile && error.targetname">
    <th class="measurement">
      <span class="nobr">Source File</span>
    </th>
    <td>
      {{error.sourcefile}}
    </td>
  </tr>

  <tr ng-if="error.labels">
    <th cla