fix(engine/fstar): fix c_trait_goal and always use it for traits
#40
The logs for this run have expired and are no longer available.
Loading
c_trait_goal and always use it for traits
#40