"Fatal error" when compiling with no auth/unauth #3

Open

opened

on Apr 22, 2014

Workaround: include a minimal type and method:

type useless = Useless

f_useless () = auth Useless

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests