Skip to content

Commit

Permalink
fix typo
Browse files Browse the repository at this point in the history
  • Loading branch information
rmalmain committed Mar 20, 2024
1 parent 66aaa21 commit 6a8d2c8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion runtime/RuntimeCommon.h
Original file line number Diff line number Diff line change
Expand Up @@ -210,7 +210,7 @@ void _sym_notify_basic_block(uintptr_t site_id);
* Debugging
*/
// Puts the string associated to expr in buf.
// If bufsize is not big enough, returns the size of expr's string.
// If buf_size is not big enough, returns the size of expr's string.
// Otherwise, returns 0.
size_t _sym_expr_to_string(SymExpr expr, char* buf, size_t buf_size);
bool _sym_feasible(SymExpr expr);
Expand Down

0 comments on commit 6a8d2c8

Please sign in to comment.