forked from
liamoc.net/holbert-ng
the next generation of the in-browser educational proof assistant
fix bug
+1
-1
+1
-1
src/Method.res
+1
-1
src/Method.res
···
261
261
let substitute = (it, subst) =>
262
262
switch it {
263
263
| First(m) => First(Method1.substitute(m, subst))
264
-
| Second(m) => Second(Method2.substitute(m, f))
264
+
| Second(m) => Second(Method2.substitute(m, subst))
265
265
}
266
266
let keywords = Array.concat(Method1.keywords, Method2.keywords)
267
267
let apply = (ctx: Context.t, j: Judgment.t, gen: Term.gen, f: Rule.t => 'a) => {