diff options
Diffstat (limited to '')
| -rw-r--r-- | Gentle_introduction_Inpla.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md index b2455f9..0ecb794 100644 --- a/Gentle_introduction_Inpla.md +++ b/Gentle_introduction_Inpla.md @@ -348,7 +348,7 @@ We can write it with the abbreviation as well: ``` >>> Eraser ~ A(x1,x2); (1 interactions, 0.00 sec) - >>> x1 x2 + >>> x1 x2; Eraser Eraser >>> free x1 x2; >>> |