diff Makefile @ 2150:0a95e8518941

stablerange: stop using '.head' in debugstablerange We now access '[0]' as we'll do with the future tuple.
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Wed, 22 Mar 2017 17:43:18 +0100
parents 934d70e3be97
children b838c069bf4e
line wrap: on
line diff