Change the name exported to cat: INSTR -> Instr

herd · Aug 11, 2023 · e6b9a63 · e6b9a63
1 parent d380141
commit e6b9a63
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/herd/machAction.ml b/herd/machAction.ml
@@ -537,7 +537,7 @@ end = struct
             (fun (tag,p) ->
               tag, fun a -> is_ifetch a && (check_value a p))
             A.ifetch_value_sets in
-        ("INSTR",is_ifetch)::ifetch_value_sets
+        ("Instr",is_ifetch)::ifetch_value_sets
       else
         []