2026-01-11  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	fix bdd_free_path

	The implementation of bdd_free_path was only correct when
	bdd_free_path was called at the end of an iteration, not
	if the iteration was aborted.

	* src/bddop.c (bdd_free_path): Free the correct pointer.
