From 2aefa98aef3547c4846d73d3273bff56d24b0bc0 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Tue, 17 Jul 2018 20:04:11 +0100
Subject: [PATCH] Identifier

---
 rsin_driver.hh | 2 +-
 rsin_parser.yy | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/rsin_driver.hh b/rsin_driver.hh
index 5570960..8d0c3c7 100644
--- a/rsin_driver.hh
+++ b/rsin_driver.hh
@@ -45,7 +45,7 @@ class rsin_driver
     {
       this->opts = opts;
     };
-    void addFormRSCTLK(FormRSCTLK *f)
+    void addFormRSCTLK(std::string *propertyName, FormRSCTLK *f)
     {
       rsctlkform = f;
     };
diff --git a/rsin_parser.yy b/rsin_parser.yy
index 440cc8a..efe08c0 100644
--- a/rsin_parser.yy
+++ b/rsin_parser.yy
@@ -32,7 +32,7 @@ class rsin_driver;
 %union
 {
     int ival;
-    std::string *sval;
+    std::string sval;
     FormRSCTLK *frsctlk;
     // Entity_f *ent;
     // Action_f *act;
@@ -81,8 +81,8 @@ system:
     | INITIALCONTEXTS LCB initstates RCB system
     | CONTEXTENTITIES LCB actionentities RCB system
 	| CONTEXTAUTOMATON LCB ctxaut RCB system
-    | RSCTLKFORM LCB rsctlk_form RCB system {
-        driver.addFormRSCTLK($3);
+    | RSCTLKFORM LCB IDENTIFIER COL rsctlk_form RCB system {
+        driver.addFormRSCTLK($3, $5);
     }
     ;