我正在将解决方案从Visual c + + 6.0迁移到Visual Studio 2013.在解决了解决方案中的许多问题后,我在Windows sdk标头Require Import Arith.
Theorem plus_comm2 : forall a b, a * b = b * a.
Proof. intros. ring. Qed.
中遇到以下错误:
afxdisp.h
我的项目使用error C2872: 'COleDateTime': ambiguous symbol
,如:
COleDateTime
:Date.h
在class COleDateTime;
:
Date.cpp
#include <afxdisp.h>
#include <streams.h>
就像我说的那样,错误C2872在#include <Date.h>
中被标记。
你对此有什么解决方案吗?
答案 0 :(得分:0)
解决了! #include <afxdisp.h>
语句存在于两个.h
文件中。我从其中一个标题中删除了#include
,现在一切正常。