
<html>

    <head>

      <base href="https://bugs.llvm.org/">

    </head>

    <body><span class="vcard"><a class="email" href="mailto:benjima@gmail.com" title="Benedikt Tröster <benjima@gmail.com>"> <span class="fn">Benedikt Tröster</span></a>

</span> changed

          <a class="bz_bug_link 

          bz_status_RESOLVED  bz_closed"

   title="RESOLVED WORKSFORME - Trunk build fails rev 348859 cannot convert ‘Z3_context {aka _Z3_context*}’ to ‘Z3_error_code’ for argument ‘1’ to ‘const char* Z3_get_error_msg(Z3_error_code)’"

   href="https://bugs.llvm.org/show_bug.cgi?id=39923">bug 39923</a>

          <br>

             <table border="1" cellspacing="0" cellpadding="8">

          <tr>

            <th>What</th>

            <th>Removed</th>

            <th>Added</th>

          </tr>


         <tr>

           <td style="text-align:right;">Status</td>

           <td>NEW

           </td>

           <td>RESOLVED

           </td>

         </tr>


         <tr>

           <td style="text-align:right;">Resolution</td>

           <td>---

           </td>

           <td>WORKSFORME

           </td>

         </tr></table>

      <p>

      </p>


      <hr>

      <span>You are receiving this mail because:</span>


      <ul>

          <li>You are on the CC list for the bug.</li>

      </ul>

    </body>

</html>