From 076c8378e96a9fac9864c9d02bb63fa7dd423e4a Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Wed, 10 Dec 2025 22:38:24 +0100
Subject: chore: using more header guards than pragma once.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
---
 docs/tex/binary_mutex.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/tex/binary_mutex.tex')

diff --git a/docs/tex/binary_mutex.tex b/docs/tex/binary_mutex.tex
index b326f4b4..548f440f 100644
--- a/docs/tex/binary_mutex.tex
+++ b/docs/tex/binary_mutex.tex
@@ -51,7 +51,7 @@ class BinaryMutex final {
 
  public:
   bool Lock(UserProcess* process);
-  bool LockAndWait(UserProcess* process, TimerInterface* timer);
+  bool LockAndWait(UserProcess* process, ITimer* timer);
 
  public:
   NE_COPY_DEFAULT(BinaryMutex)
-- 
cgit v1.2.3

