Skip to content
Browse files

fix typo

  • Loading branch information...
namin committed Feb 15, 2019
1 parent b9335d6 commit 2127fcbc52c4ed44b16c0d2bb195c78503ecdcbb
Showing with 1 addition and 1 deletion.
  1. +1 −1 popl18/core.rkt
@@ -77,7 +77,7 @@
(side-condition (not-code? (term v_1))))
(--> (in-hole P (in-hole E (reflect (code e))))
(in-hole P (letc x_new e (in-hole E (code x_new)))) "reify-reflect"
(where x_new ,(variable-not-in (term (R E e)) (term x))))
(where x_new ,(variable-not-in (term (P E e)) (term x))))
(--> (in-hole M (letc x_1 e_1 (code e_2)))
(in-hole M (code (let x_1 e_1 e_2))) "letc")

0 comments on commit 2127fcb

Please sign in to comment.
You can’t perform that action at this time.