search

ubc-carnap-team / Rudolf

Truth Tree Widget for Carnap
2 stars 3 forks source link

Arrows not being created sometimes #71

Closed orbit-stabilizer closed 4 years ago

orbit-stabilizer commented 4 years ago

I've noticed that sometimes arrows aren't being created. I'm not sure if this happens when a certain tree configuration happens or if it's just when it gets too complicated or for some other reason. Here's an example:

arrows

orbit-stabilizer commented 4 years ago

Never mind - I was on my branch and not on master. Seems to be okay on master.