jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Put back error in Clocking

Browse source
This commit is contained in:
Cédric Pasteur 2010-06-22 10:08:30 +02:00 committed by Léonard Gérard
parent ac87128e54
commit 0a65964ee6
1 changed files with 2 additions and 0 deletions

2
compiler/minils/analysis/clocking.ml
View file

@ -11,9 +11,11 @@
open Misc
open Ident
open Minils
open Mls_printer
open Signature
open Types
open Location
open Printf
type error = | Etypeclash of ct * ct