Commit bffb416a authored by Pietro Abate's avatar Pietro Abate
Browse files

Fix printer for parametric types

parent 19113486
include ""
include ""
let nb_success = ref Int (0)
let nb_tests = ref Int (0)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment