From c14fdf3fdc0e357c68717c3e7a7d1a00d2177824 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Fri, 20 Dec 2024 11:18:55 +0200 Subject: [PATCH] Add comment comma from review Co-authored-by: Michael Schwarz --- src/framework/constraints.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/framework/constraints.ml b/src/framework/constraints.ml index 04959348e1..ae412a6f11 100644 --- a/src/framework/constraints.ml +++ b/src/framework/constraints.ml @@ -83,7 +83,7 @@ struct (* unknown function *) M.error ~category:Imprecise ~tags:[Category Unsound] "Created a thread from unknown function %s" f.vname; (* actual implementation (e.g. invalidation) is done by threadenter *) - (* must still sync for side effects, e.g. old sync-based none privatization soundness in 02-base/51-spawn-special *) + (* must still sync for side effects, e.g., old sync-based none privatization soundness in 02-base/51-spawn-special *) let rec sync_ctx = { ctx with ask = (fun (type a) (q: a Queries.t) -> S.query sync_ctx q);