php 值传送后查找数据库找不到

php 值传递后查找数据库找不到
做一个简单的学生管理系统
专业：
计算机科学与技术
网络工程
财务管理
全部
上边是选项
这边是进行数据库搜索
if ( $pro!="全部" )
{
$query = "select * from s where pro=$pro";
}
请问下为什么取出来了值但是在数据库中找不到匹配?
提示query为空值
数据库已有这个数据

------解决方案--------------------
至少要这样
$query = "select * from s where pro='$pro'";