From 66902c1888f6172d5cbf49c443c7bd96c541540e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Sat, 1 Feb 2020 17:20:43 +0100
Subject: [PATCH] Rename module for determining head type

---
 src/translate/verify_properties.rs                   | 12 ++++++------
 .../{translate_head.rs => head_type.rs}              |  0
 2 files changed, 6 insertions(+), 6 deletions(-)
 rename src/translate/verify_properties/{translate_head.rs => head_type.rs} (100%)

diff --git a/src/translate/verify_properties.rs b/src/translate/verify_properties.rs
index 16c2494..de5ec27 100644
--- a/src/translate/verify_properties.rs
+++ b/src/translate/verify_properties.rs
@@ -1,11 +1,11 @@
 mod context;
+mod head_type;
 mod translate_body;
-mod translate_head;
 
 pub use context::Context;
 
-use translate_body::translate_body;
-use translate_head::determine_head_type;
+use head_type::*;
+use translate_body::*;
 
 pub fn read(rule: &clingo::ast::Rule, context: &mut Context) -> Result<(), crate::Error>
 {
@@ -16,11 +16,11 @@ pub fn read(rule: &clingo::ast::Rule, context: &mut Context) -> Result<(), crate
 
 	match head_type
 	{
-		translate_head::HeadType::ChoiceWithSingleAtom(test) =>
+		HeadType::ChoiceWithSingleAtom(test) =>
 			log::debug!("translating choice rule with single atom"),
-		translate_head::HeadType::IntegrityConstraint =>
+		HeadType::IntegrityConstraint =>
 			log::debug!("translating integrity constraint"),
-		translate_head::HeadType::Trivial =>
+		HeadType::Trivial =>
 		{
 			log::debug!("skipping trivial rule");
 			return Ok(());
diff --git a/src/translate/verify_properties/translate_head.rs b/src/translate/verify_properties/head_type.rs
similarity index 100%
rename from src/translate/verify_properties/translate_head.rs
rename to src/translate/verify_properties/head_type.rs