From 81535c2e625ebe9e4a09a7e1d865960b5cb5347f Mon Sep 17 00:00:00 2001
From: Virgil <virgil.serbanuta@runtimeverification.com>
Date: Wed, 20 Nov 2024 15:17:40 +0200
Subject: [PATCH] Rename data to log_buffer

---
 ulm-semantics/main/preprocessing/events.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/ulm-semantics/main/preprocessing/events.md b/ulm-semantics/main/preprocessing/events.md
index ace3ca8..c684cd0 100644
--- a/ulm-semantics/main/preprocessing/events.md
+++ b/ulm-semantics/main/preprocessing/events.md
@@ -8,7 +8,7 @@ module ULM-PREPROCESSING-EVENTS
     imports private ULM-PREPROCESSING-SYNTAX-PRIVATE
 
     syntax Identifier ::= "bytes_hooks"  [token]
-                        | "data"  [token]
+                        | "log_buffer"  [token]
                         | "empty"  [token]
                         | "Log0"  [token]
                         | "Log1"  [token]
@@ -35,7 +35,7 @@ module ULM-PREPROCESSING-EVENTS
             => #ulmPreprocessEvent
                 ( Method
                 , codegenValuesEncoder
-                    ( data
+                    ( log_buffer
                     , paramsToEncodeValues
                         ( last(Param, Params)
                         , .NormalizedFunctionParameterList
@@ -68,13 +68,13 @@ module ULM-PREPROCESSING-EVENTS
             empty => block({
                 .InnerAttributes
                 concatNonEmptyStatements
-                    (   let data = :: bytes_hooks :: empty ( .CallParamsList );
+                    (   let log_buffer = :: bytes_hooks :: empty ( .CallParamsList );
                         AppendLast
                     ,   :: ulm :: LogIdentifier
                             ( ptrValue(null, EventSignature)
                             , concatCallParamsList
                                 ( paramsToArgs(allButLast(Param, Params))
-                                , (data , .CallParamsList)
+                                , (log_buffer , .CallParamsList)
                                 )
                             );
                         .NonEmptyStatements