Expand repl TIPS

This commit is contained in:
Richard Feldman 2022-10-31 06:50:52 -04:00
parent cb7ee6a43a
commit d6853519d8
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
2 changed files with 17 additions and 8 deletions

View file

@ -88,7 +88,7 @@ fn exhaustiveness_problem() {
#[test]
fn tips() {
assert!(!is_incomplete(""));
assert_eq!(ReplState::new().step(""), Ok(format!("\n{TIPS}\n")));
assert_eq!(ReplState::new().step(""), Ok(TIPS.to_string()));
}
#[test]