<!-- Feel free to delete the parts that you don't need. -->

# Bug fix

Closes: #???

# Description

<!-- Describe what you have done to fix the bug / what your enhancement does and why (with examples) -->

# PR dependencies

<!-- If you have other PRs dependencies, link them in the list of bullet points -->
* 

# Test-suite update

<!-- If you have fixed an issue, update the repo with the problem file in the folder test-suite/bugs.
	 If you have added a feature, update the repo with example problem files in test-suite/basic or test-suite/proofs.
	 If you cannot showcase it using a `.p` file, update the unit tests.

	 List the files (or the tests) you have added here. -->