diff options
| author | Pierre-Marie Pédrot | 2017-07-25 12:27:31 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-07-25 14:45:09 +0200 |
| commit | 5748cd3a913eec7a24600715fc9b71044a7c38b1 (patch) | |
| tree | 0fbb156abb33275e86a53cdb1e4474a7d8415fd8 /src/tac2core.ml | |
| parent | 41cea8603b35a1af405650d8a2b9aaa89a445367 (diff) | |
Generalizing patterns in fun bindings.
Diffstat (limited to 'src/tac2core.ml')
| -rw-r--r-- | src/tac2core.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tac2core.ml b/src/tac2core.ml index 13aa44c815..b665f761ce 100644 --- a/src/tac2core.ml +++ b/src/tac2core.ml @@ -734,7 +734,7 @@ let dummy_loc = Loc.make_loc (-1, -1) let rthunk e = let loc = Tac2intern.loc_of_tacexpr e in - let var = [Loc.tag ~loc Anonymous, Some (CTypRef (loc, AbsKn Core.t_unit, []))] in + let var = [CPatAny loc, Some (CTypRef (loc, AbsKn Core.t_unit, []))] in CTacFun (loc, var, e) let add_generic_scope s entry arg = |