Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
In the case of a beam called Coq.Arith.EqNat, which will be called directly in the Core Erlang like call 'Coq.Arith.EqNat':'beq_nat', don't put into a subdirectory or the emulator will not be able to find it.
- Loading branch information