[PATCH] tools/memory-model: Restore compat with herd7 7.47 ("-" -> "_")

From: Akira Yokosawa
Date: Fri Feb 09 2018 - 11:07:04 EST