From 0c9665d1b62645131951de0a8a596c53e342f665 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Mon, 26 Mar 2018 19:22:19 +0100
Subject: [PATCH] Typo

---
 symrs.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/symrs.cc b/symrs.cc
index 9ce38da..98313f4 100644
--- a/symrs.cc
+++ b/symrs.cc
@@ -52,7 +52,7 @@ BDD SymRS::encStateActEntitiesConj(const Entities &entities)
         BDD state_act = encEntity(*entity);
         int actEntity;
 		
-		// if entity is also an aciton entity, we include it in the encoding
+		// if entity is also an action entity, we include it in the encoding
         if ((actEntity = getMappedStateToActID(*entity)) >= 0)
             state_act += encActEntity(actEntity);