From 6473a75a8bd2c4b3ec86cc63703f2abc31c60971 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20D=C3=B6ring?= <christian.doering@tum.de>
Date: Wed, 4 Dec 2024 08:23:42 +0100
Subject: [PATCH] Fixed reference to record_ts.cpp

---
 src/record_ts.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/record_ts.h b/src/record_ts.h
index 5791582f..11af7725 100644
--- a/src/record_ts.h
+++ b/src/record_ts.h
@@ -46,8 +46,8 @@ extern const char *op_type_name[(int) OpType::Count];
 
 /**
  * Represents an operation that was recorded by a \ref RecordThreadState. To
- * record and operation, we refer to the `reduce_dot` example at the top of this
- * file.
+ * record and operation, we refer to the `reduce_dot` example at the top of the
+ * record_ts.cpp file.
  */
 struct Operation {
     OpType type;