26 lines
1.1 KiB
Diff
26 lines
1.1 KiB
Diff
Fixes these errors:
|
|
|
|
File "lib/util/util.mli", line 62, characters 6-12:
|
|
62 | val [@inline always] compare_algebraic : 'a -> 'a -> (('a * 'a) -> int) -> int
|
|
^^^^^^
|
|
Error (warning 53 [misplaced-attribute]): the "inline" attribute cannot appear in this context
|
|
|
|
File "lib/util/util.mli", line 64, characters 6-12:
|
|
64 | val [@inline always] cmp_lists: 'a list -> 'a list -> ('a -> 'a -> int) -> int
|
|
^^^^^^
|
|
Error (warning 53 [misplaced-attribute]): the "inline" attribute cannot appear in this context
|
|
|
|
--- alt-ergo-2.3.0-free/sources/lib/util/util.mli.orig 2022-05-20 01:34:55.000000000 -0600
|
|
+++ alt-ergo-2.3.0-free/sources/lib/util/util.mli 2024-05-05 11:41:32.415674847 -0600
|
|
@@ -59,9 +59,9 @@ val string_of_th_ext : theories_extensio
|
|
- Pervasives.compare a b is used if
|
|
|
|
*)
|
|
-val [@inline always] compare_algebraic : 'a -> 'a -> (('a * 'a) -> int) -> int
|
|
+val compare_algebraic : 'a -> 'a -> (('a * 'a) -> int) -> int
|
|
|
|
-val [@inline always] cmp_lists: 'a list -> 'a list -> ('a -> 'a -> int) -> int
|
|
+val cmp_lists: 'a list -> 'a list -> ('a -> 'a -> int) -> int
|
|
|
|
type matching_env =
|
|
{
|