diff options
| author | Maxime Dénès | 2017-06-06 00:24:57 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-06 00:24:57 +0200 |
| commit | cc0f9d254c394db742473299336fb20b82ae4aa1 (patch) | |
| tree | cbc89906c862624d4285f367d1fa9f0f61f16f05 /engine/evarutil.ml | |
| parent | b377bd30f23f430882902f534eaf31b1314ecd07 (diff) | |
| parent | 88fdd28815747520bdc555a2d1b8600e114ab341 (diff) | |
Merge PR#716: Don't double up on periods in anomalies
Diffstat (limited to 'engine/evarutil.ml')
| -rw-r--r-- | engine/evarutil.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/engine/evarutil.ml b/engine/evarutil.ml index 3ef725cbbd..59ad4ef472 100644 --- a/engine/evarutil.ml +++ b/engine/evarutil.ml @@ -220,7 +220,7 @@ let make_pure_subst evi args = (fun decl (args,l) -> match args with | a::rest -> (rest, (NamedDecl.get_id decl, a)::l) - | _ -> anomaly (Pp.str "Instance does not match its signature")) + | _ -> anomaly (Pp.str "Instance does not match its signature.")) (evar_filtered_context evi) (Array.rev_to_list args,[])) (*------------------------------------* |