aboutsummaryrefslogtreecommitdiff
path: root/interp
diff options
context:
space:
mode:
authorVincent Laporte2019-04-05 12:47:56 +0000
committerVincent Laporte2019-04-05 12:47:56 +0000
commit3c06ce8dc3a95e5dfe3a4c0a9acdc7dd5dac75cb (patch)
tree10472119bba36152034b9c6bcfd6d90e1f153167 /interp
parentbe6f3a6234ee809dd3c290621d80c3280a41355e (diff)
parentbe62d1580ed8e55fd98d429025c291e4be7bc185 (diff)
Merge PR #9685: [vernac] Small cleanup to remove assert false.
Ack-by: SkySkimmer Ack-by: ejgallego Reviewed-by: vbgl
Diffstat (limited to 'interp')
0 files changed, 0 insertions, 0 deletions