From 44482ae4387f0cc0ac1006eee3e4f5010a8ef2f8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 1 Jun 2016 01:54:43 +0200 Subject: [PATCH] Renamed TypePrimitive to PrimitiveType and made Type hash map contain PrimitiveTypes only. --- include/plasp/pddl/{TypePrimitive.h => PrimitiveType.h} | 0 src/plasp/pddl/{TypePrimitive.cpp => PrimitiveType.h} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename include/plasp/pddl/{TypePrimitive.h => PrimitiveType.h} (100%) rename src/plasp/pddl/{TypePrimitive.cpp => PrimitiveType.h} (100%) diff --git a/include/plasp/pddl/TypePrimitive.h b/include/plasp/pddl/PrimitiveType.h similarity index 100% rename from include/plasp/pddl/TypePrimitive.h rename to include/plasp/pddl/PrimitiveType.h diff --git a/src/plasp/pddl/TypePrimitive.cpp b/src/plasp/pddl/PrimitiveType.h similarity index 100% rename from src/plasp/pddl/TypePrimitive.cpp rename to src/plasp/pddl/PrimitiveType.h