Stm_of_ir.prefix_identifier clean-up

ocaml-gospel · Dec 12, 2024 · 2219f04 · 2219f04
1 parent 0cd00ac
commit 2219f04
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/plugins/qcheck-stm/src/stm_of_ir.ml b/plugins/qcheck-stm/src/stm_of_ir.ml
@@ -239,8 +239,7 @@ let pat_of_core_type inst typ =
 
 let prefix_identifier ~prefix id =
   let name = Printf.sprintf "%s.%s" prefix id in
-  (*pexp_apply*) evar name
-(*[]*)
+  evar name
 
 let exp_of_core_type ?(use_small = false) inst typ =
   let rec collect_args_and_ret ty =