From b930a0f055e50c1a64b61df9c0c9c0a394493e89 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 14 Oct 2021 11:04:58 +0200
Subject: [PATCH] [Eva] Minor typo in comment.
---
src/plugins/value/api/general_requests.ml | 5 ++---
src/plugins/value/engine/analysis.mli | 2 +-
2 files changed, 3 insertions(+), 4 deletions(-)
diff --git a/src/plugins/value/api/general_requests.ml b/src/plugins/value/api/general_requests.ml
index 982d7686b4e..2a225d40834 100644
--- a/src/plugins/value/api/general_requests.ml
+++ b/src/plugins/value/api/general_requests.ml
@@ -32,8 +32,7 @@ let package =
()
module ComputationState = struct
- open Analysis
- type t = computation_state
+ type t = Analysis.computation_state
let jtype =
Data.declare ~package
~name:"computationStateType"
@@ -334,7 +333,7 @@ struct
let jtype =
Data.declare ~package
~name:"statusesEntry"
- ~descr:(Markdown.plain "Statuses count.Å“")
+ ~descr:(Markdown.plain "Statuses count.")
Package.(Jrecord [
"valid",Jnumber ;
"unknown",Jnumber ;
diff --git a/src/plugins/value/engine/analysis.mli b/src/plugins/value/engine/analysis.mli
index 055917d6cd4..2a6e647e5fc 100644
--- a/src/plugins/value/engine/analysis.mli
+++ b/src/plugins/value/engine/analysis.mli
@@ -80,7 +80,7 @@ val current_computation_state : unit -> computation_state
val register_computation_hook: ?on:computation_state ->
(computation_state -> unit) -> unit
(** Registers a hook that will be called each time the analysis starts or
- finishes. If [on]Â is given, the hook will only be called when the
+ finishes. If [on] is given, the hook will only be called when the
analysis switches to this specific state. *)
val force_compute : unit -> unit
--
GitLab