From adb8c44de31b8d90d4b99631237e55833186eb33 Mon Sep 17 00:00:00 2001
From: Mateusz Piotrowski <0mp@FreeBSD.org>
Date: Tue, 13 Sep 2022 17:33:59 +0200
Subject: [PATCH] Use \verb to stylize provider names

---
 specification/chap-opendtrace-arch.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/specification/chap-opendtrace-arch.tex b/specification/chap-opendtrace-arch.tex
index cfc243f..c997bdb 100644
--- a/specification/chap-opendtrace-arch.tex
+++ b/specification/chap-opendtrace-arch.tex
@@ -134,7 +134,7 @@ \section{Probe Life Cycle}
 respectively, both operate under the same model.  They both find the
 instruction in the program at which the tracepoint is to be placed and
 swap the regular instruction with a an architecture dependent
-break-point instruction when tracing is enabled. The profile provider is
+break-point instruction when tracing is enabled. The \verb|profile| provider is
 completely different from the \verb|fbt| or \verb|fasttrap| providers as
 it fires its probes on a periodic basis.