Skip to content

Commit

Permalink
Extract FStar.Mul for fstarlib, see FStarLang#3577
Browse files Browse the repository at this point in the history
  • Loading branch information
@mtzguido
mtzguido committed Oct 16, 2024
1 parent ab6ef02 commit 017d250
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion mk/lib.mk
View file
Original file line number Diff line number Diff line change
Expand Up @@ -58,7 +58,6 @@ EXTRACT_NS += -FStar.Int8
EXTRACT_NS += -FStar.IO
EXTRACT_NS += -FStar.List
EXTRACT_NS += -FStar.List.Tot.Base
EXTRACT_NS += -FStar.Mul
EXTRACT_NS += -FStar.Option
EXTRACT_NS += -FStar.Pervasives.Native
EXTRACT_NS += -FStar.ST
Expand Down

0 comments on commit 017d250

Please sign in to comment.