Skip to content

Conversation

@Leo-Aus-Berlin
Copy link

@Leo-Aus-Berlin Leo-Aus-Berlin commented Jan 13, 2026

The fact and import statements (the rule components) had erronous to_string methods: Missing . for facts and = vs : for import statements. This is a very minor fix.

@github-project-automation github-project-automation bot moved this to Todo in nemo Jan 13, 2026
@mmarx mmarx self-assigned this Jan 13, 2026
@Leo-Aus-Berlin Leo-Aus-Berlin changed the title Coverting a loaded program into a string and thus writing it to a file was erronous Bugfix: Converting a loaded program into a String Jan 13, 2026
@Leo-Aus-Berlin Leo-Aus-Berlin changed the title Bugfix: Converting a loaded program into a String Bugfix: Converting a loaded program into a String Jan 13, 2026
@mmarx
Copy link
Member

mmarx commented Jan 13, 2026

The doc error seems to be rust-lang/rust#151028, which will hopefully be fixed soon in one of the next nightlies.

I'll take a look at the new clippy lint.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Todo

Development

Successfully merging this pull request may close these issues.

2 participants