From: Mark Thom Date: Sat, 8 Jan 2022 07:19:17 +0000 (-0700) Subject: correct read/2 arity to 2 (#1171) X-Git-Tag: v0.9.0^2~88 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2e46aa33c02f867cd0eaba53d982a9089ef6ff1f;p=scryer-prolog.git correct read/2 arity to 2 (#1171) --- diff --git a/crates/instructions-template/src/lib.rs b/crates/instructions-template/src/lib.rs index 386bafd5..cc6e49f3 100644 --- a/crates/instructions-template/src/lib.rs +++ b/crates/instructions-template/src/lib.rs @@ -101,7 +101,7 @@ enum BuiltInClauseType { Is(RegType, ArithmeticTerm), #[strum_discriminants(strum(props(Arity = "2", Name = "keysort")))] KeySort, - #[strum_discriminants(strum(props(Arity = "1", Name = "read")))] + #[strum_discriminants(strum(props(Arity = "2", Name = "read")))] Read, #[strum_discriminants(strum(props(Arity = "2", Name = "sort")))] Sort,