change wording of QueryCannotBePostedAsFact to QueryCannotBeDefinedAsFact, remove old commented code in read.rs

This commit is contained in:
Mark Thom
2020-04-12 16:01:53 -06:00
parent 4ddc4ebf46
commit 7621155a89
4 changed files with 7 additions and 37 deletions

View File

@@ -1290,7 +1290,7 @@ impl<'a> TopLevelBatchWorker<'a> {
TopLevel::Declaration(decl) =>
return Ok(Some(decl)),
TopLevel::Query(_) =>
return Err(SessionError::QueryCannotBePostedAsGoal),
return Err(SessionError::QueryCannotBeDefinedAsFact),
}
}