Merge pull request #1036 from rgrinberg/use-correct-version

Use correct version for error message
This commit is contained in:
Rudi Grinberg 2018-07-20 15:11:02 +02:00 committed by GitHub
commit fc3400429b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -185,7 +185,7 @@ module Map = struct
Some v
else
Syntax.Error.deleted_in (String_with_vars.Var.loc pform)
Stanza.syntax syntax_version ~what:(describe pform) ?repl
Stanza.syntax in_version ~what:(describe pform) ?repl
let expand t pform syntax_version =
match String_with_vars.Var.payload pform with