Various small changes

* Experimented with using list<bit> to clean up manually monomorphised code in MIPS tlb
* Added option -dtc_verbose to control verbosity of new typechecker
* Allowed functions with val specs to omit their type declarations

1 files changed, 1 insertions, 1 deletions

diff --git a/src/ast.ml b/src/ast.ml
index f7745eeb..0d418afc 100644
--- a/src/ast.ml
+++ b/src/ast.ml
@@ -414,7 +414,7 @@ rec_opt_aux =  (* Optional recursive annotation for functions *)
 type
 tannot_opt_aux =  (* Optional type annotation for functions *)
    Typ_annot_opt_some of typquant * typ
-
+ | Typ_annot_opt_none
 
 type
 'a alias_spec_aux =  (* Register alias expression forms. Other than where noted, each id must refer to an unaliased register of type vector *)