From 894ce7dc9f519d400691b77f4be959521f5bcd4d Mon Sep 17 00:00:00 2001 From: Jason Evans Date: Fri, 7 Jun 2024 17:15:13 -0700 Subject: [PATCH] Update docstring --- bootstrap/bin/hocc/kernelAttribs.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bootstrap/bin/hocc/kernelAttribs.mli b/bootstrap/bin/hocc/kernelAttribs.mli index 29375e396..95eeb5cfa 100644 --- a/bootstrap/bin/hocc/kernelAttribs.mli +++ b/bootstrap/bin/hocc/kernelAttribs.mli @@ -1,4 +1,4 @@ -(** Map of per kernel item conflict attributions. *) +(** Map of per conflict state kernel item conflict attributions. *) open Basis open! Basis.Rudiments