diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-01-17 02:56:14 +0100 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-01-17 03:01:58 +0100 |
commit | 820a282fde5cb4233116ce2cda927fda2f36097d (patch) | |
tree | 9893efb3b59d836a61b09853a0c94ba798e9c0b2 /kernel/univ.ml | |
parent | d3ee6b2fbcd0fbb666af7f1920446e809e8d6e1e (diff) |
Moving val_cast to Tacinterp.
Diffstat (limited to 'kernel/univ.ml')
0 files changed, 0 insertions, 0 deletions