Skip to content

Commit 380ae30

Browse files
committed
Deploying to inkproof-page from @ ed2b442 🚀
1 parent f777234 commit 380ae30

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

html/inkcpp__c_2include_2inkcpp_8h_source.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -105,7 +105,7 @@
105105
<div class="line"><a id="l00003" name="l00003"></a><span class="lineno"> 3</span> </div>
106106
<div class="line"><a id="l00004" name="l00004"></a><span class="lineno"> 4</span><span class="preprocessor">#include &lt;stdbool.h&gt;</span></div>
107107
<div class="line"><a id="l00005" name="l00005"></a><span class="lineno"> 5</span><span class="preprocessor">#include &lt;stdint.h&gt;</span></div>
108-
<div class="line"><a id="l00006" name="l00006"></a><span class="lineno"> 6</span><span class="preprocessor">#include &lt;stdlib.h&gt;</span></div>
108+
<div class="line"><a id="l00006" name="l00006"></a><span class="lineno"> 6</span><span class="preprocessor">#include &lt;stddef.h&gt;</span></div>
109109
<div class="line"><a id="l00007" name="l00007"></a><span class="lineno"> 7</span> </div>
110110
<div class="line"><a id="l00008" name="l00008"></a><span class="lineno"> 8</span><span class="preprocessor">#ifdef __cplusplus</span></div>
111111
<div class="line"><a id="l00009" name="l00009"></a><span class="lineno"> 9</span><span class="keyword">extern</span> <span class="stringliteral">&quot;C&quot;</span> {</div>

proof/summary.json

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)