Skip to content

Commit 2b0a11d

Browse files
authored
Fix arch.mli (#1993)
add symbol to archmli
1 parent 31c8b32 commit 2b0a11d

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

backend/amd64/arch.mli

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,7 @@ val popcnt_support : bool ref
2020
val prefetchw_support : bool ref
2121
val prefetchwt1_support : bool ref
2222
val trap_notes : bool ref
23+
val clmul_support : bool ref
2324
val sse3_support : bool ref
2425
val ssse3_support : bool ref
2526
val sse41_support : bool ref

0 commit comments

Comments
 (0)