---
name: Bug report
about: Create a report to help us improve
title: "[BUG]"
labels: ''
assignees: ''

---

<!---
Consider sending an email to the mailing list at cocci@inria.fr instead of opening an issue on GitHub!
-->

**Describe the bug**
A clear and concise description of what the bug is.

**To Reproduce**
Steps to reproduce the behavior. If applicable, please include a minimal reproducible example: the smallest or simplest files that can be used to reproduce the issue.
1. Create the file '...'
2. Create this other file '....'
3. Do something '....'
4. Run this command '....'
5. See error

**Expected behavior**
A clear and concise description of what you expected to happen.

**Logs**
If applicable, add logs to help explain your problem.

**Desktop (please complete the following information):**
 - OS: [e.g. Ubuntu]
 - Version: [e.g. 22.04.5]

**Additional context**
Add any other context about the problem here.
