[File-cvs] CVS commit: file/src

[Christos Zoulas]

Module Name:	file
Committed By:	christos
Date:		Sat Sep  1 15:52:02 UTC 2018

Modified Files:
	file/src: apprentice.c

Log Message:
Fix use-after-free (https://runtimeverification.com/). The free code was
never changed when the mlist was changed from a NULL-terminated list to
a circular one.


To generate a diff of this commit:
cvs rdiff -r1.277 -r1.278 file/src/apprentice.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.