Use the directory of any file on the command line in the include path rather than "." #188
Annotations
2 errors
|
Smoke test:
dummy#L1
(129) * Error 129:
- Files /home/runner/work/FStar/FStar/fstar/lib/fstar/ulib/LowStar.BufferView.Up.fst and /home/runner/work/FStar/FStar/fstar/bin/../lib/fstar/ulib/LowStar.BufferView.Up.fst are both in the include path
|
|
Smoke test
Process completed with exit code 1.
|
Loading