Skip to content

GobView crashes on non-dev dune profile #38

@sim642

Description

@sim642

This seems to work fine with the dev profile, but with a non-dev profile (like trace), GobView breaks with an exception in the browser console:

Fatal error: exception Invalid_argument("Cilfacade.get_ikind: non-integer type void ")

Or maybe this profile issue exists already before this PR?

Originally posted by @sim642 in #9 (comment)

The crash is not specific to #9 but also exists on master at 841090e.

Metadata

Metadata

Assignees

Labels

bugSomething isn't working

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions