Skip to content
Build and test FStar

Fix typo in OCaml code for extracting elements of a pair #2448

Sign in to view logs

Fix typo in OCaml code for extracting elements of a pair

Fix typo in OCaml code for extracting elements of a pair #2448

Annotations

2 errors

The logs for this run have expired and are no longer available.