search

FStarLang / FStar

A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.7k stars 234 forks source link

Fixing #3024 #3575

Closed mtzguido closed 1 month ago

mtzguido commented 1 month ago 
$ ./bin/fstar.exe ZZ.fst
* Error 310 at ZZ.fst(3,0-3,17):
  - 'friend' module IDontExist not found
  - Suggestion: recompute dependences (C-c C-r) if in interactive mode.

1 error was reported (see above)