From 852aef750eeaba905369a435bcc2858f95515709 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 12 Oct 2012 10:24:18 -0700 Subject: [PATCH] modeltypes: move to include/ dir, for now The header uses some small amount of private model-checker information, so just move the common typedefs to our external include/ directory. --- modeltypes.h => include/modeltypes.h | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename modeltypes.h => include/modeltypes.h (100%) diff --git a/modeltypes.h b/include/modeltypes.h similarity index 100% rename from modeltypes.h rename to include/modeltypes.h -- 2.34.1