Skip to content

Commit 5f1c142

Browse files
authored
fixes a trivial typo in the symbolic fread implementation (#1224)
what is non-trivial is why this bug wasn't detected by the type checker, which is tracked in #1223.
1 parent 0daabc7 commit 5f1c142

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

plugins/primus_symbolic_executor/lisp/symbolic-stdio.lisp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,7 @@
6262

6363
(defun fread (ptr size n stream)
6464
(declare (external "fread"))
65-
(let ((r (read (fileno stream) buf (* n size))))
65+
(let ((r (read (fileno stream) ptr (* n size))))
6666
(if (< r 0) r
6767
(/ r size))))
6868

0 commit comments

Comments
 (0)