Home Explore Help
Sign In
taddeus
/
civicaml
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Browse Source

Fix typo

Taddeus Kroes 10 years ago
parent
cb1589e6ee
commit
defc7777a6
1 changed files with 1 additions and 1 deletions
Unified View Show Diff Stats
  1. 1 1
      phases/desug.ml

+ 1 - 1
phases/desug.ml
View File 

@@ -2,7 +2,7 @@ open Printf
 
 open Types
 
 open Types
 
 open Util
 
 open Util
 
 
 
-(* Generate new variables for array dimensions, to avoid re-evalutation when
 
+(* Generate new variables for array dimensions, to avoid re-evaluation when
 
  * array dimensions are used (e.g., after array dimension reduction). *)
 
  * array dimensions are used (e.g., after array dimension reduction). *)
 
 let move_array_dims node =
 
 let move_array_dims node =
 
   let patch_dims basename values make_decs make_dimname =
 
   let patch_dims basename values make_decs make_dimname =